T-EQUIVALENCES FOR POSITIVE SENTENCES (Q3094190): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Disquotational truth and analyticity
@@ Property / cites work: Disquotational truth and analyticity / rank @@
+Normal rank
@@ Property / cites work @@
+REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
@@ Property / cites work: REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal consistent sets of instances of Tarski's schema (T)
+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 @@
+Recursively saturated nonstandard models of arithmetic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3094190