$$\Delta ^0_1$$ variants of the law of excluded middle and related principles

Archive for Mathematical Logic 61 (7):1113-1127 (2022)
  Copy   BIBTEX

Abstract

We systematically study the interrelations between all possible variations of \(\Delta ^0_1\) variants of the law of excluded middle and related principles in the context of intuitionistic arithmetic and analysis.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-022-00827-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Δ10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Delta ^0_1$$\end{document} variants of the law of excluded middle and related principles. [REVIEW]Makoto Fujiwara - 2022 - Archive for Mathematical Logic 61 (7-8):1113-1127.
Using Ramsey’s theorem once.Jeffry L. Hirst & Carl Mummert - 2019 - Archive for Mathematical Logic 58 (7-8):857-866.
The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
Refining the arithmetical hierarchy of classical principles.Makoto Fujiwara & Taishi Kurahashi - 2022 - Mathematical Logic Quarterly 68 (3):318-345.
Natural factors of the Medvedev lattice capturing IPC.Rutger Kuyper - 2014 - Archive for Mathematical Logic 53 (7):865-879.
$$\Pi^0_1$$ -Presentations of Algebras.Bakhadyr Khoussainov, Theodore Slaman & Pavel Semukhin - 2006 - Archive for Mathematical Logic 45 (6):769-781.
Models of replacement schemes.Eugenio Chinchilla - 2005 - Archive for Mathematical Logic 44 (7):851-867.
On the independence of premiss axiom and rule.Hajime Ishihara & Takako Nemoto - 2020 - Archive for Mathematical Logic 59 (7-8):793-815.
Overspill and fragments of arithmetic.C. Dimitracopoulos - 1989 - Archive for Mathematical Logic 28 (3):173-179.
Middle diamond.Saharon Shelah - 2005 - Archive for Mathematical Logic 44 (5):527-560.

Analytics

Added to PP
2022-04-30

Downloads
15 (#948,985)

6 months
12 (#304,552)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
Prenex normal form theorems in semi-classical arithmetic.Makoto Fujiwara & Taishi Kurahashi - 2021 - Journal of Symbolic Logic 86 (3):1124-1153.
Interrelation between weak fragments of double negation shift and related principles.Makoto Fujiwara & Ulrich Kohlenbach - 2018 - Journal of Symbolic Logic 83 (3):991-1012.
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.

Add more references