A classical view of the intuitionistic continuum (Q1923572): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5737082 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intuitionism. An introduction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3256322 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the interpretation of intuitionistic number theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5816113 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5812175 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5586230 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5585372 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formalized recursive functionals and formalized realizability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5343325 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5539743 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal systems for some branches of intuitionistic analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5622191 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5607957 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relative lawlessness in intuitionistic analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4281259 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: More about relatively lawless sequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Recursive Functions and Intuitionistic Number Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4126323 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructivism in mathematics. An introduction. Volume II / rank | |||
Normal rank |
Latest revision as of 15:05, 24 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A classical view of the intuitionistic continuum |
scientific article |
Statements
A classical view of the intuitionistic continuum (English)
0 references
3 June 1997
0 references
The author presents a classical consistency proof of a strong formal system \(S\) extending the FIM [\textit{S. C. Kleene} and \textit{R. E. Vesley}, The foundations of intuitionistic mathematics (1965; Zbl 0133.24601)] formal system for second-order number theory (or ``analysis''), expressed in a language with two kinds of second-order variables, one for lawlike and the other for arbitrary choice sequences. It is further shown that \(S\) can be extended to \(S^+\), whose lawlike part is classical analysis, so that ``the intuitionistic continuum appears as a proper extension of the classical continuum'' (p. 10). The author also provides a final simplification to the definition of lawlessness (relative to a class \(R\) of ``lawlike'' functions) that she had introduced in J. Symb. Logic 52, 68-88 (1987; Zbl 0637.03058) and simplified in J. Symb. Logic 59, 813-829 (1994), and proves the equivalence of the newly defined concept (as a choice sequence \(\alpha\) such that for each predictor (any function that maps sequence numbers to sequence numbers) \(\pi \in R\), there is some \(x \in \omega\) such that \(\pi\) correctly predicts \(\alpha\) at \(x\), i.e. \(\alpha \in \overline \alpha (x)* \pi (\overline \alpha (x)))\) with the older versions. The main contributions of the paper, which assumes familiarity with the formal system and notations of FIM, as well as their place in the existing body of intuitionistic literature, are spelled out in an informal language in the introduction.
0 references
formal system for second-order arithmetic
0 references
classical consistency proof
0 references
FIM
0 references
foundations of intuitionistic mathematics
0 references
classical analysis
0 references
intuitionistic continuum
0 references
classical continuum
0 references
lawlessness
0 references
choice sequence
0 references