Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis (Q3039341): 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/2273321
@@ Property / full work available at URL: https://doi.org/10.2307/2273321 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2087736341
@@ Property / OpenAlex ID: W2087736341 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Provable wellorderings of formal theories for transfinitely iterated inductive definitions
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+The syntax and semantics of infinitary languages
@@ Property / cites work: The syntax and semantics of infinitary languages / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3039341