Syntactical truth predicates for second order arithmetic (Q2732276): Difference between revisions

@@ Property / cites work @@
+A minimal model for set theory
@@ Property / cites work: A minimal model for set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability of constructible sets of integers
+Normal rank
@@ Property / cites work @@
+Second order arithmetic and related topics
@@ Property / cites work: Second order arithmetic and related topics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344167
@@ Property / cites work: Q5344167 / rank @@
+Normal rank