A theory of variable types
Archivos
Autores
Feferman, Solomon
Director
Tipo de contenido
Artículo de revista
Idioma del documento
EspañolFecha de publicación
1985
Título de la revista
ISSN de la revista
Título del volumen
Documentos PDF
Resumen
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.