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

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.
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.
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.

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