Refining the arithmetical hierarchy of classical principles

&
Mathematical Logic Quarterly 68 (3):318-345 (2022)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1002/malq.202000077
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,159
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Fragments of Heyting Arithmetic.Wolfgang Burr - 2000 - Journal of Symbolic Logic 65 (3):1223-1240.
Some Principles Weaker Than Markov’s Principle.Makoto Fujiwara, Hajime Ishihara & Takako Nemoto - 2015 - Archive for Mathematical Logic 54 (7-8):861-870.
On the Disjunctive Markov Principle.Ulrich Kohlenbach - 2015 - Studia Logica 103 (6):1313-1317.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Prenex Normal Form Theorems in Semi-Classical Arithmetic.Makoto Fujiwara & Taishi Kurahashi - 2021 - Journal of Symbolic Logic 86 (3):1124-1153.
Characterizations of the Class ~2^T^a Over Euclidean Spaces.Armin Hemmerling - 2004 - Mathematical Logic Quarterly 50 (4):507.
The Hausdorff-Ershov Hierarchy in Euclidean Spaces.Armin Hemmerling - 2006 - Archive for Mathematical Logic 45 (3):323-350.
Characterizations of the classΔta2 Over Euclidean Spaces.Armin Hemmerling - 2004 - Mathematical Logic Quarterly 50 (45):507-519.
Elimination of Skolem Functions for Monotone Formulas in Analysis.Ulrich Kohlenbach - 1998 - Archive for Mathematical Logic 37 (5-6):363-390.
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.
The Arithmetical Hierarchy of Real Numbers.Xizhong Zheng & Klaus Weihrauch - 2001 - Mathematical Logic Quarterly 47 (1):51-66.
Predicative Collapsing Principles.Anton Freund - 2020 - Journal of Symbolic Logic 85 (1):511-530.
Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles.George Tourlakis - 1996 - Mathematical Logic Quarterly 42 (1):449-460.
Interpretability In.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2010 - Annals of Pure and Applied Logic 161 (2):128-138.
Fuzzy Logic and Arithmetical Hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.
Conservation Theorems on Semi-Classical Arithmetic.Makoto Fujiwara & Taishi Kurahashi - forthcoming - Journal of Symbolic Logic:1-28.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
Quasi‐Completeness and Functions Without Fixed‐Points.Ilnur I. Batyrshin - 2006 - Mathematical Logic Quarterly 52 (6):595-601.
Review: N. A. Sanin, Some Operations on Logico-Arithmetical Formulas; N. A. Sanin, On Imbeddings of the Classical Logico-Arithmetical Calculus Into the Constructive Logico-Arithmetical Calculus. [REVIEW]Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (4):297-298.

Analytics

Added to PP index
2022-06-11

Total views
3 ( #1,362,077 of 2,517,822 )

Recent downloads (6 months)
3 ( #206,299 of 2,517,822 )

How can I increase my downloads?

Downloads

My notes



Home | New books and articles | Bibliographies | Philosophy journals | Discussions | Article Index | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Server: philpapers-web-56fff69b5c-lnglh N