Nonaxiomatizability results for infinitary systems (Q5601465): Difference between revisions

@@ Property / cites work @@
+On the recursive functions of ordinal numbers
@@ Property / cites work: On the recursive functions of ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+A distributivity condition for Boolean algebras
@@ Property / cites work: A distributivity condition for Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of atomic boolean algebras
@@ Property / cites work: A generalization of atomic boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of transfinite recursion
@@ Property / cites work: The theory of transfinite recursion / rank @@
+Normal rank
@@ Property / cites work @@
+On the partial recursive functions of ordinal numbers
+Normal rank