Representations and the foundations of mathematics

DOI10.1215/00294527-2022-0001MaRDI QIDQ2134273zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2236640
• scientific article; zbMATH DE number 3887669
• Representations of Reals in Reverse Mathematics
• Theory of representations
• scientific article; zbMATH DE number 408814

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 3536056 (Why is no real title available?)
• scientific article; zbMATH DE number 3563433 (Why is no real title available?)
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• scientific article; zbMATH DE number 1531925 (Why is no real title available?)
• scientific article; zbMATH DE number 2168553 (Why is no real title available?)
• scientific article; zbMATH DE number 1863381 (Why is no real title available?)
• scientific article; zbMATH DE number 1870414 (Why is no real title available?)
• scientific article; zbMATH DE number 5057388 (Why is no real title available?)
• scientific article; zbMATH DE number 2227817 (Why is no real title available?)
• scientific article; zbMATH DE number 2236626 (Why is no real title available?)
• scientific article; zbMATH DE number 2236635 (Why is no real title available?)
• scientific article; zbMATH DE number 2236640 (Why is no real title available?)
• An introduction to measure theory
• Computability theory, nonstandard analysis, and their connections
• Countable sets versus sets that are countable in reverse mathematics
• Ekeland's variational principle in weak and strong systems of arithmetic
• Excursions in the history of mathematics
• Lifting recursive counterexamples to higher-order arithmetic
• Located sets and reverse mathematics
• Mathematical problems
• Measure theory and higher order arithmetic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On Brouwer's continuity principle
• On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem
• On the mathematical and foundational significance of the uncountable
• On the outside looking in: a caution about conservativeness
• On the variational principle
• On two models of provability
• Open questions in reverse mathematics
• Open sets in computability theory and reverse mathematics
• Pincherle's theorem in reverse mathematics and computability theory
• REVERSE MATHEMATICS OF MF SPACES
• Recursive Functionals and Quantifiers of Finite Types I
• Reverse Mathematics and Π¹₂ Comprehension
• Reverse mathematics. Proofs from the inside out
• Set theory.
• Splittings and disjunctions in reverse mathematics
• Standard and non-standard analysis in second order arithmetic
• Subsystems of second order arithmetic
• Systems of predicative analysis
• The Baire category theorem in weak subsystems of second-order arithmetic
• The inevitability of logical strength: strict reverse mathematics
• The reverse mathematics of the Tietze extension theorem
• Uniform versions of some axioms of second order arithmetic
• \(\mathsf{WKL}_0\) and induction principles in model theory
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(5)

• On the uncountability of \(\mathbb{R}\)
• On the logical and computational properties of the Vitali covering theorem
• Representations and the foundations of mathematics
• A note on continuous functions on metric spaces
• Theory of representations

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

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