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

DOI10.1007/S11229-014-0636-6zbMATH Open1475.03089OpenAlexW2081808148MaRDI QIDQ2053347FDOQ2053347

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

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

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)

Cites Work

• Title not available (Why is that?)
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Vorlesungen ü bergriffsschrift
• Second order logic or set theory?
• Univalent categories and the Rezk completion
• Second-Order Logic and Foundations of Mathematics
• Second-order languages and mathematical practice
• A defense of second-order logic
• Title not available (Why is that?)
• Completeness and categoricity: Frege, gödel and model theory
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
• Nonstandard Models of Arithmetic and Set Theory
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Division in the Theory S02+ of Bounded Arithmetic.
• On representations of intended structures in foundational theories
• Title not available (Why is that?)
• 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)