Representations and the foundations of mathematics

DOI10.1215/00294527-2022-0001OpenAlexW3005683397MaRDI QIDQ2134273FDOQ2134273

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

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

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)

Cites Work

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

Cited In (5)

• On the uncountability of \(\mathbb{R}\)
• Representations and the foundations of mathematics
• On the logical and computational properties of the Vitali covering theorem
• 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)