Some intuitionistic equivalents of classical principles for degree 2 formulas (Q2368911): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Q1064321 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Victor N. Krivtsov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.apal.2005.04.006 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2092780681 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A generalization of a conservativity theorem for classical versus intuitionistic arithmetic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4420735 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Things that can and things that cannot be done in PRA / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4394970 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5711893 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automata, Languages and Programming / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:10, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some intuitionistic equivalents of classical principles for degree 2 formulas |
scientific article |
Statements
Some intuitionistic equivalents of classical principles for degree 2 formulas (English)
0 references
28 April 2006
0 references
This paper is concerned with the study of intuitionistic equivalences between mathematical theorems in frequent use, on the one hand, and classical logical principles like Excluded Middle, Markov's Principle, and König's Lemma restricted to \(\Sigma^0_2\)-formulas, on the other hand, provided universal quantification over maps is restricted to (effectively given families of) recursive maps. Among the mathematical statements and definitions treated are (weak) infinity axioms, various definitions of the notion of quasi-well-ordering, convergence principles, and several versions of Dickson's Lemma. For example, it is shown that the restriction of Excluded Middle to \(\Sigma^0_2\)-formulas is equivalent (in the context of intuitionistic arithmetic with function quantifiers and Dependent Choice) to the principle that any effectively decidable set is either finite or infinite, that the said version of Markov's Principle is equivalent both to the principle ``every recursive sequence over the set of natural numbers which does not change value infinitely many times is stationary'' and to ``any effectively decidable set which is not infinite is finite'', and that König's Lemma for \(\Sigma^0_2\)-formulas is likewise equivalent to one version of Dickson's Lemma (for recursive sequences).
0 references
excluded middle
0 references
Markov's principle
0 references
König's lemma
0 references
reverse mathematics
0 references
intuitionistic logic
0 references
0 references