The consistency problem for positive comprehension principles (Q3480030): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2274822
@@ Property / full work available at URL: https://doi.org/10.2307/2274822 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4255801419
@@ Property / OpenAlex ID: W4255801419 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q3976577
@@ Property / Recommended article: Q3976577 / rank @@
+Normal rank
@@ Property / Recommended article: Q3976577 / qualifier @@
+Similarity Score: 0.7516271Amount 0.7516271
Unit 1
-Amount
+.7516271
 Unit
@@ Property / Recommended article: Q3976577 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
+Normal rank
+Similarity Score: 0.73085666Amount 0.73085666
Unit 1
-Amount
+.73085666
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3778015
@@ Property / Recommended article: Q3778015 / rank @@
+Normal rank
@@ Property / Recommended article: Q3778015 / qualifier @@
+Similarity Score: 0.72559035Amount 0.72559035
Unit 1
-Amount
+.72559035
 Unit
@@ Property / Recommended article: Q3778015 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Inconsistency of the Axiom of Choice with the positive theory
+Normal rank
+Similarity Score: 0.72207797Amount 0.72207797
Unit 1
-Amount
+.72207797
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Positive abstraction and extensionality
@@ Property / Recommended article: Positive abstraction and extensionality / rank @@
+Normal rank
+Similarity Score: 0.71405613Amount 0.71405613
Unit 1
-Amount
+.71405613
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4827116
@@ Property / Recommended article: Q4827116 / rank @@
+Normal rank
@@ Property / Recommended article: Q4827116 / qualifier @@
+Similarity Score: 0.7011572Amount 0.7011572
Unit 1
-Amount
+.7011572
 Unit
@@ Property / Recommended article: Q4827116 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5443925
@@ Property / Recommended article: Q5443925 / rank @@
+Normal rank
@@ Property / Recommended article: Q5443925 / qualifier @@
+Similarity Score: 0.69664454Amount 0.69664454
Unit 1
-Amount
+.69664454
 Unit
@@ Property / Recommended article: Q5443925 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4793034
@@ Property / Recommended article: Q4793034 / rank @@
+Normal rank
@@ Property / Recommended article: Q4793034 / qualifier @@
+Similarity Score: 0.6892293Amount 0.6892293
Unit 1
-Amount
+.6892293
 Unit
@@ Property / Recommended article: Q4793034 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Some perverse effects of positivity
@@ Property / Recommended article: Some perverse effects of positivity / rank @@
+Normal rank
@@ Property / Recommended article: Some perverse effects of positivity / qualifier @@
+Similarity Score: 0.68742037Amount 0.68742037
Unit 1
-Amount
+.68742037
 Unit
@@ Property / Recommended article: Some perverse effects of positivity / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The axiom scheme of acyclic comprehension
+Normal rank
+Similarity Score: 0.68640906Amount 0.68640906
Unit 1
-Amount
+.68640906
 Unit
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:3480030