A theory of variable types

Solomon Feferman

Publicado

1985-01-01

A theory of variable types

Palabras clave:

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

Descargas

PDF

Autores/as

Solomon Feferman Stanford University

Resumen (es)

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.

Cómo citar

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 (ene. 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 ene. 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. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32587 (Accedido: 22 enero 2025).

IEEE

[1]

S. Feferman, «A theory of variable types», rev.colomb.mat, vol. 19, n.º 1-2, pp. 95–105, ene. 1985.

MLA

Feferman, S. «A theory of variable types». Revista Colombiana de Matemáticas, vol. 19, n.º 1-2, enero de 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 (enero 1, 1985): 95–105. Accedido enero 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]. 1 de enero de 1985 [citado 22 de enero de 2025];19(1-2):95-105. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32587