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

DOI10.1007/s11229-014-0636-6zbMath1475.03089OpenAlexW2081808148MaRDI QIDQ2053347

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 logicsecond-order logiccategoricitylogical pluralismaxiomatizations of arithmetic

Mathematics Subject Classification ID

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

Related Items (1)

On representations of intended structures in foundational theories

Cites Work

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

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