Representability in some systems of second order arithmetic (Q2545877): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+An infinitistic rule of proof
@@ Property / cites work: An infinitistic rule of proof / rank @@
+Normal rank
@@ Property / cites work @@
+The classical and the <i>ω</i>-complete arithmetic
+Normal rank
@@ Property / cites work @@
+Hierarchies of Effective Descriptive Set Theory
@@ Property / cites work: Hierarchies of Effective Descriptive Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types II
+Normal rank
@@ Property / cites work @@
+Hyperanalytic Predicates
@@ Property / cites work: Hyperanalytic Predicates / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2545877