On representations of intended structures in foundational theories

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

zbMATH Keywords

representationfirst-order logicdecidabilityhigher-order logicstructure

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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