CONSISTENCY AND THE THEORY OF TRUTH (Q3195585): Difference between revisions

@@ Property / cites work @@
+MINIMAL TRUTH AND INTERPRETABILITY
@@ Property / cites work: MINIMAL TRUTH AND INTERPRETABILITY / rank @@
+Normal rank
@@ Property / cites work @@
+The formalization of interpretability
@@ Property / cites work: The formalization of interpretability / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Axiomatizability using additional predicates
+Normal rank
@@ Property / cites work @@
+String theory
@@ Property / cites work: String theory / rank @@
+Normal rank
@@ Property / cites work @@
+Concatenation as a basis for arithmetic
@@ Property / cites work: Concatenation as a basis for arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / 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 @@
+Q5694788
@@ Property / cites work: Q5694788 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theoretic connected components of finitely generated nilpotent groups
+Normal rank
@@ Property / cites work @@
+Reflection principles and provability algebras in formal arithmetic
+Normal rank
@@ Property / cites work @@
+Sets and Classes
@@ Property / cites work: Sets and Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Relative Interpretations
@@ Property / cites work: Relative Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING
+Normal rank
@@ Property / cites work @@
+Construction of Satisfaction Classes for Nonstandard Models
+Normal rank
@@ Property / cites work @@
+Bounded Induction and Satisfaction Classes
@@ Property / cites work: Bounded Induction and Satisfaction Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Predicative Frege Arithmetic and 'Everyday' Mathematics
+Normal rank
@@ Property / cites work @@
+On the scheme of induction for bounded arithmetic formulas
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+The predicative Frege hierarchy
@@ Property / cites work: The predicative Frege hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Growing commas. A study of sequentiality and concatenation
+Normal rank
@@ Property / cites work @@
+Undecidability without arithmetization
@@ Property / cites work: Undecidability without arithmetization / rank @@
+Normal rank
@@ Property / cites work @@
+Pairs, sets and sequences in first-order theories
@@ Property / cites work: Pairs, sets and sequences in first-order theories / rank @@
+Normal rank
@@ Property / cites work @@
+TRUTH AND SPEED-UP
@@ Property / cites work: TRUTH AND SPEED-UP / rank @@
+Normal rank
@@ Property / cites work @@
+An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank