Models of weak theories of truth (Q2402953): Difference between revisions

@@ Property / cites work @@
+Models with second order properties II. Trees with no undefined branches
+Normal rank
@@ Property / cites work @@
+Relative Truth Definability of Axiomatic Truth Theories
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rather Classless Model
@@ Property / cites work: A Rather Classless Model / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5484945
@@ Property / cites work: Q5484945 / rank @@
+Normal rank
@@ Property / cites work @@
+CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
+Normal rank
@@ Property / cites work @@
+Q3922684
@@ Property / cites work: Q3922684 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard definability
@@ Property / cites work: Nonstandard definability / rank @@
+Normal rank