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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-63334-3_20
+Normal rank
@@ Property / OpenAlex ID @@
+W2794967327
@@ Property / OpenAlex ID: W2794967327 / rank @@
+Normal rank
@@ 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