\(\Delta^0_1\) variants of the law of excluded middle and related principles (Q2085582): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-022-00827-5
@@ Property / DOI: 10.1007/s00153-022-00827-5 / rank @@
-Normal rank
@@ 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.1007/s00153-022-00827-5
+Normal rank
@@ Property / OpenAlex ID @@
+W4225163416
@@ Property / OpenAlex ID: W4225163416 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114852531
@@ Property / Wikidata QID: Q114852531 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
+Normal rank
@@ Property / cites work @@
+Some principles weaker than Markov's principle
@@ Property / cites work: Some principles weaker than Markov's principle / rank @@
+Normal rank
@@ Property / cites work @@
+INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
+Normal rank
@@ Property / cites work @@
+PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC
+Normal rank
@@ Property / cites work @@
+Markov's principle, Church's thesis and Lindelöf's theorem
+Normal rank
@@ Property / cites work @@
+Q5718575
@@ Property / cites work: Q5718575 / rank @@
+Normal rank
@@ Property / cites work @@
+On the disjunctive Markov principle
@@ Property / cites work: On the disjunctive Markov principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / DOI @@
+.1007/S00153-022-00827-5
@@ Property / DOI: 10.1007/S00153-022-00827-5 / rank @@
+Normal rank