Published

1985-01-01

A theory of variable types

Keywords:

various formal theories, mathematical practice, particularly analysis (es)

Downloads

Authors

  • Solomon Feferman Stanford University

Several publications in recent years have presented various formal theories T in which considerable portions of mathematical practice (particularly analysis) can be more or less directly formalized and which are proof-theoretically weak; cf. Feferman 1977, Takeuti 1978 and Friedman 1980.

How to Cite

APA

Feferman, S. (1985). A theory of variable types. Revista Colombiana de Matemáticas, 19(1-2), 95–105. https://revistas.unal.edu.co/index.php/recolma/article/view/32587

ACM

[1]
Feferman, S. 1985. A theory of variable types. Revista Colombiana de Matemáticas. 19, 1-2 (Jan. 1985), 95–105.

ACS

(1)
Feferman, S. A theory of variable types. rev.colomb.mat 1985, 19, 95-105.

ABNT

FEFERMAN, S. A theory of variable types. Revista Colombiana de Matemáticas, [S. l.], v. 19, n. 1-2, p. 95–105, 1985. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/32587. Acesso em: 22 jan. 2025.

Chicago

Feferman, Solomon. 1985. “A theory of variable types”. Revista Colombiana De Matemáticas 19 (1-2):95-105. https://revistas.unal.edu.co/index.php/recolma/article/view/32587.

Harvard

Feferman, S. (1985) “A theory of variable types”, Revista Colombiana de Matemáticas, 19(1-2), pp. 95–105. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32587 (Accessed: 22 January 2025).

IEEE

[1]
S. Feferman, “A theory of variable types”, rev.colomb.mat, vol. 19, no. 1-2, pp. 95–105, Jan. 1985.

MLA

Feferman, S. “A theory of variable types”. Revista Colombiana de Matemáticas, vol. 19, no. 1-2, Jan. 1985, pp. 95-105, https://revistas.unal.edu.co/index.php/recolma/article/view/32587.

Turabian

Feferman, Solomon. “A theory of variable types”. Revista Colombiana de Matemáticas 19, no. 1-2 (January 1, 1985): 95–105. Accessed January 22, 2025. https://revistas.unal.edu.co/index.php/recolma/article/view/32587.

Vancouver

1.
Feferman S. A theory of variable types. rev.colomb.mat [Internet]. 1985 Jan. 1 [cited 2025 Jan. 22];19(1-2):95-105. Available from: https://revistas.unal.edu.co/index.php/recolma/article/view/32587

Download Citation

Article abstract page views

177

Downloads

Download data is not yet available.

License

Copyright (c) 1985 Revista Colombiana de Matemáticas

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.