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

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2270780
@@ Property / full work available at URL: https://doi.org/10.2307/2270780 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2083719016
@@ Property / OpenAlex ID: W2083719016 / rank @@
+Normal rank
@@ 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