On representations of intended structures in foundational theories
From MaRDI portal
Publication:2121479
DOI10.1007/s10992-021-09628-2OpenAlexW3190882998MaRDI QIDQ2121479
Neil Barton, Moritz Müller, Mihai Prunescu
Publication date: 4 April 2022
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-021-09628-2
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Axiomatizations of arithmetic and the first-order/second-order divide
- On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation
- Second-Order Logic and Foundations of Mathematics
- Completeness and categoricity: Frege, gödel and model theory
- Inner models from extended logics: Part 1
- Homotopy Type Theory: Univalent Foundations of Mathematics
- On Extensions of Elementary Logic
- On direct products of theories
- What Do We Want a Foundation to Do?
This page was built for publication: On representations of intended structures in foundational theories