Representations and the foundations of mathematics

DOI10.1215/00294527-2022-0001OpenAlexW3005683397MaRDI QIDQ2134273

Sam Sanders

Publication date: 6 May 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1910.07913

zbMATH Keywords

reverse mathematicshigher-order arithmeticcoding and representations

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

ON THE UNCOUNTABILITY OF

Cites Work

• On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem
• On Brouwer's continuity principle
• On the variational principle
• Ekeland's variational principle in weak and strong systems of arithmetic
• Splittings and disjunctions in reverse mathematics
• Lifting recursive counterexamples to higher-order arithmetic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Pincherle's theorem in reverse mathematics and computability theory
• \(\mathsf{WKL}_0\) and induction principles in model theory
• The reverse mathematics of the Tietze extension theorem
• Excursions in the History of Mathematics
• The Baire category theorem in weak subsystems of second-order arithmetic
• Uniform versions of some axioms of second order arithmetic
• Open Questions in Reverse Mathematics
• Recursive Functionals and Quantifiers of Finite Types I
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• REVERSE MATHEMATICS OF MF SPACES
• Measure theory and higher order arithmetic
• Mathematical problems
• Located sets and reverse mathematics
• Countable sets versus sets that are countable in reverse mathematics
• Open sets in computability theory and reverse mathematics
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS
• On the mathematical and foundational significance of the uncountable
• Systems of predicative analysis
• Reverse Mathematics and Π¹₂ Comprehension
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Representations and the foundations of mathematics