Feferman’s Skepticism About Set Theory (Q5214798): Difference between revisions

@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of the notions of forcing and generic sets
+Normal rank
@@ Property / cites work @@
+Predicative provability in set theory
@@ Property / cites work: Predicative provability in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Hilbert's program relativized; Proof-theoretical and foundational reductions
+Normal rank
@@ Property / cites work @@
+Q4237309
@@ Property / cites work: Q4237309 / rank @@
+Normal rank
@@ Property / cites work @@
+Does Mathematics Need New Axioms?
@@ Property / cites work: Does Mathematics Need New Axioms? / rank @@
+Normal rank
@@ Property / cites work @@
+Does reductive proof theory have a viable rationale?
+Normal rank
@@ Property / cites work @@
+Does Mathematics Need New Axioms?
@@ Property / cites work: Does Mathematics Need New Axioms? / rank @@
+Normal rank
@@ Property / cites work @@
+A Fortuitous Year with Leon Henkin
@@ Property / cites work: A Fortuitous Year with Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Parsons and I: Sympathies and Differences
@@ Property / cites work: Parsons and I: Sympathies and Differences / rank @@
+Normal rank