Axiomatizations of arithmetic and the first-order/second-order divide

DOI10.1007/S11229-014-0636-6MaRDI QIDQ2053347zbMATH OpenOpenAlexFDO

Authors Catarina Dutilh Novaes

Publication date 29 November 2021

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://pure.rug.nl/ws/files/118494082/DutilhNovaes2019_Article_AxiomatizationsOfArithmeticAnd.pdf

zbMATH Keywords

first-order logiccategoricitysecond-order logiclogical pluralismaxiomatizations of arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Models of arithmetic and set theory (03C62)

Recommendations

• Second-Order Logic and Foundations of Mathematics
• Second-order languages and mathematical practice
• A defense of second-order logic
• From Dedekind to Zermelo versus Peano to Gödel
• Second order logic, set theory and foundations of mathematics

Cites work

• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 727991 (Why is no real title available?)
• scientific article; zbMATH DE number 5255443 (Why is no real title available?)
• scientific article; zbMATH DE number 2212543 (Why is no real title available?)
• A defense of second-order logic
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Completeness and categoricity: Frege, gödel and model theory
• Nonstandard Models of Arithmetic and Set Theory
• Second order logic or set theory?
• Second-Order Logic and Foundations of Mathematics
• Second-order languages and mathematical practice
• Univalent categories and the Rezk completion
• Vorlesungen ü bergriffsschrift

Cited in

(5)

• Division in the Theory S02+ of Bounded Arithmetic.
• On representations of intended structures in foundational theories
• scientific article; zbMATH DE number 3884151 (Why is no real title available?)
• The Division Relation: Congruence Conditions and Axiomatisability
• A few more dissimilarities between second-order arithmetic and set theory

This page was built for publication: Axiomatizations of arithmetic and the first-order/second-order divide

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