Publicado
1985-01-01
A theory of variable types
Palabras clave:
various formal theories, mathematical practice, particularly analysis (es)Descargas
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.
Visitas a la página del resumen del artículo
295
Descargas
Los datos de descarga aún no están disponibles.
Cómo citar
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
Licencia
Derechos de autor 1985 Revista Colombiana de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.