On a positive set theory with inequality (Q3096082): 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.1002/malq.201010022
+Normal rank
@@ Property / OpenAlex ID @@
+W2021719812
@@ Property / OpenAlex ID: W2021719812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency problem for positive comprehension principles
+Normal rank
@@ Property / cites work @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+Normal rank
@@ Property / cites work @@
+Q3778015
@@ Property / cites work: Q3778015 / rank @@
+Normal rank
@@ Property / cites work @@
+Naive set theory with extensionality in partial logic and in paradoxical logic
+Normal rank
@@ Property / cites work @@
+Metarecursive sets
@@ Property / cites work: Metarecursive sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863913
@@ Property / cites work: Q2863913 / rank @@
+Normal rank
@@ Property / cites work @@
+A positive set theory with equality revisited
@@ Property / cites work: A positive set theory with equality revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Π<sub>1</sub><sup>1</sup> Sets,                         ω-Sets, and metacompleteness
+Normal rank
@@ Property / cites work @@
+The Meta-R.E. sets, but not the Π<sub>1</sub><sup>1</sup> sets, can be enumerated without repetition
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Studies on the axiom of comprehension
@@ Property / cites work: Studies on the axiom of comprehension / rank @@
+Normal rank