A Non-Standard Truth Definition (Q5827963): Difference between revisions

@@ Property / cites work @@
+The irreducibility of impredicative principles
@@ Property / cites work: The irreducibility of impredicative principles / rank @@
+Normal rank
@@ Property / cites work @@
+Truth Definitions and Consistency Proofs
@@ Property / cites work: Truth Definitions and Consistency Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Some formal relative consistency proofs
@@ Property / cites work: Some formal relative consistency proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Non-standard models for formal logics
@@ Property / cites work: Non-standard models for formal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5845414
@@ Property / cites work: Q5845414 / rank @@
+Normal rank
@@ Property / cites work @@
+Models of axiomatic systems
@@ Property / cites work: Models of axiomatic systems / rank @@
+Normal rank