The strength of admissibility without foundation (Q3710526): 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.2307/2274140
@@ Property / full work available at URL: https://doi.org/10.2307/2274140 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2050939025
@@ Property / OpenAlex ID: W2050939025 / rank @@
+Normal rank
@@ Property / cites work @@
+Beweistheorie vonKPN
@@ Property / cites work: Beweistheorie vonKPN / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+A well-ordering proof for Feferman's theoryT 0
@@ Property / cites work: A well-ordering proof for Feferman's theoryT 0 / rank @@
+Normal rank