Axiomatic theory of enumeration: A note on the axiom of extensionality (Q1248504): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4067100
@@ Property / cites work: Q4067100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4067079
@@ Property / cites work: Q4067079 / rank @@
+Normal rank
@@ Property / cites work @@
+On the problem of deciding equality in partial combinatory algebras and in a formal system
+Normal rank