On the matter of essential richness (Q815020): Difference between revisions

@@ Property / cites work @@
+Tarski on ``essentially richer'' metalanguages
@@ Property / cites work: Tarski on ``essentially richer'' metalanguages / rank @@
+Normal rank
@@ Property / cites work @@
+Some impredicative definitions in the axiomatic set theory
+Normal rank
@@ Property / cites work @@
+Q5761282
@@ Property / cites work: Q5761282 / rank @@
+Normal rank
@@ Property / cites work @@
+On undecidable statements in enlarged systems of logic and the concept of truth
+Normal rank
@@ Property / cites work @@
+Q5839923
@@ Property / cites work: Q5839923 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetic Translations of Axiom Systems
@@ Property / cites work: Arithmetic Translations of Axiom Systems / 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 @@
+Q5613902
@@ Property / cites work: Q5613902 / rank @@
+Normal rank