The implicit commitment of arithmetical theories and its semantic core (Q2051133): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10670-018-9987-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2793773902
@@ Property / OpenAlex ID: W2793773902 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3597502
@@ Property / cites work: Q3597502 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection principles and provability algebras in formal arithmetic
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215631
@@ Property / cites work: Q4215631 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical Reflection and the Provability of Soundness
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretability in Robinson's Q
@@ Property / cites work: Interpretability in Robinson's Q / rank @@
+Normal rank
@@ Property / cites work @@
+MINIMAL TRUTH AND INTERPRETABILITY
@@ Property / cites work: MINIMAL TRUTH AND INTERPRETABILITY / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated reflection over full disquotational truth
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+CONSISTENCY AND THE THEORY OF TRUTH
@@ Property / cites work: CONSISTENCY AND THE THEORY OF TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Q3764122
@@ Property / cites work: Q3764122 / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of Satisfaction Classes for Nonstandard Models
+Normal rank
@@ Property / cites work @@
+Q5608740
@@ Property / cites work: Q5608740 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
+Normal rank
@@ Property / cites work @@
+Q4354788
@@ Property / cites work: Q4354788 / rank @@
+Normal rank
@@ Property / cites work @@
+Models of axiomatic systems
@@ Property / cites work: Models of axiomatic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726219
@@ Property / cites work: Q4726219 / rank @@
+Normal rank
@@ Property / cites work @@
+Deflationary truth and the ontology of expressions
+Normal rank
@@ Property / cites work @@
+A note on typed truth and consistency assertions
@@ Property / cites work: A note on typed truth and consistency assertions / rank @@
+Normal rank
@@ Property / cites work @@
+A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$
+Normal rank
@@ Property / cites work @@
+What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ?
+Normal rank
@@ Property / cites work @@
+Proof theory. The first step into impredicativity
@@ Property / cites work: Proof theory. The first step into impredicativity / rank @@
+Normal rank
@@ Property / cites work @@
+Cuts, consistency statements and interpretations
@@ Property / cites work: Cuts, consistency statements and interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2051133