The implicit commitment of arithmetical theories and its semantic core
type: Item
instance of: scholarly article
title: The implicit commitment of arithmetical theories and its semantic core
zbMATH Open document ID: 1474.03033
author: Carlo Nicolai
author: Mario Piazza
published in: Erkenntnis
publication date: 2021-11-24T00:00:00Z
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 7432685
MaRDI profile type: Publication
full work available at URL: s10670-018-9987-6
OpenAlex ID: W2793773902
cites work: Q3597502
cites work: Reflection principles and provability algebras in formal arithmetic
cites work: Q3794177
cites work: Q4215631
cites work: Arithmetical Reflection and the Provability of Soundness
cites work: A mathematical introduction to logic.
cites work: Arithmetization of metamathematics in a general setting
cites work: Transfinite recursive progressions of axiomatic theories
cites work: Systems of predicative analysis
cites work: Reflecting on incompleteness
cites work: Interpretability in Robinson's Q
cites work: MINIMAL TRUTH AND INTERPRETABILITY
cites work: Iterated reflection over full disquotational truth
cites work: The consistency of arithmetics
cites work: Q3773876
cites work: Q4384146
cites work: Q3005147
cites work: CONSISTENCY AND THE THEORY OF TRUTH
cites work: Q3764122
cites work: Construction of Satisfaction Classes for Nonstandard Models
cites work: Q5608740
cites work: Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
cites work: Outline of a Theory of Truth
cites work: CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
cites work: Q4354788
cites work: Models of axiomatic systems
cites work: Q4726219
cites work: Deflationary truth and the ontology of expressions
cites work: A note on typed truth and consistency assertions
cites work: A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$
cites work: What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ?
cites work: Proof theory. The first step into impredicativity
cites work: Cuts, consistency statements and interpretations
cites work: Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
cites work: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
cites work: Q4499084
cites work: NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
DOI: 10.1007/S10670-018-9987-6
description: scientific article; zbMATH DE number 7432685