Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Introduction -- Feferman 1977

From MaRDI portal
Publication:2845101
Jump to:navigation, search

DOI10.1017/S175502031200010XzbMATH Open1284.18001OpenAlexW4243906960MaRDI QIDQ2845101FDOQ2845101


Authors:


Publication date: 22 August 2013

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s175502031200010x




Recommendations

  • Introduction to Special Issue: Foundations of Mathematical Structuralism
  • Feferman on foundations. Logic, mathematics, philosophy
  • Introduction
  • Editor's introduction to the special issue on ``Models of arithmetic
  • Feferman on computability


Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30) Foundations, relations to logic and deductive systems (18A15) History of category theory (18-03)







This page was built for publication: Introduction -- Feferman 1977

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2845101)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2845101&oldid=15770094"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 19:21. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki