Second Order Logic, Set Theory and Foundations of Mathematics

DOI10.1007/978-94-007-4435-6_17zbMATH Open1314.03014OpenAlexW2137073650MaRDI QIDQ5253936

Jouko Väänänen

Publication date: 5 June 2015

Published in: Epistemology versus Ontology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-4435-6_17

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30)

Related Items (2)

Theorem proving graph grammars with attributes and negative application conditions ⋮ Multiple universes of sets and indeterminate truth values

This page was built for publication: Second Order Logic, Set Theory and Foundations of Mathematics

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