Axiomatizations of arithmetic and the first-order/second-order divide
type: Item
instance of: scholarly article
title: Axiomatizations of arithmetic and the first-order/second-order divide
zbMATH Open document ID: 1475.03089
author: Catarina Dutilh Novaes
published in: Synthese
publication date: 2021-11-29T00:00:00Z
full work available at URL: DutilhNovaes2019 Article AxiomatizationsOfArithmeticAnd.pdf
Mathematics Subject Classification ID: 03C62
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 7435317
zbMATH Keywords: axiomatizations of arithmetic
zbMATH Keywords: first-order logic
zbMATH Keywords: second-order logic
zbMATH Keywords: categoricity
zbMATH Keywords: logical pluralism
MaRDI profile type: Publication
OpenAlex ID: W2081808148
cites work: Univalent categories and the Rezk completion
cites work: Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
cites work: Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
cites work: A defense of second-order logic
cites work: Nonstandard Models of Arithmetic and Set Theory
cites work: Vorlesungen ü bergriffsschrift
cites work: Completeness and categoricity: Frege, gödel and model theory
cites work: Q5695961
cites work: Second-order languages and mathematical practice
cites work: Q4001345
cites work: Q4324696
cites work: Q5454218
cites work: Second-Order Logic and Foundations of Mathematics
cites work: Second Order Logic or Set Theory?
DOI: 10.1007/S11229-014-0636-6
description: scientific article; zbMATH DE number 7435317