Publié-e

1985-01-01

A theory of variable types

Mots-clés :

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

Téléchargements

Auteurs-es

  • 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.

Comment citer

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 (janv. 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: 2 févr. 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), p. 95–105. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32587 (Consulté le: 2 février 2025).

IEEE

[1]
S. Feferman, « A theory of variable types », rev.colomb.mat, vol. 19, nᵒ 1-2, p. 95–105, janv. 1985.

MLA

Feferman, S. « A theory of variable types ». Revista Colombiana de Matemáticas, vol. 19, nᵒ 1-2, janvier 1985, p. 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 (janvier 1, 1985): 95–105. Consulté le février 2, 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 janv. 1985 [cité 2 févr. 2025];19(1-2):95-105. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32587

Télécharger la référence

Consultations de la page du résumé de l'article

177

Téléchargements

Les données relatives au téléchargement ne sont pas encore disponibles.

Licence

© Revista Colombiana de Matemáticas 1985

Licence Creative Commons

Cette œuvre est sous licence Creative Commons Attribution 4.0 International.