Iterated definability, lawless sequences, and Brouwer's continuum

DOI10.1093/ACPROF:OSO/9780198759591.003.0004MaRDI QIDQ5221591zbMATH OpenOpenAlexFDO

Authors Joan Rand Moschovakis

Publication date 2 April 2020

Published in Gödel's Disjunction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/acprof:oso/9780198759591.003.0004

zbMATH Keywords

intuitionistic mathematicschoice sequencelawless sequencelawlike sequence

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Relative consistency and interpretations (03F25) Intuitionistic mathematics (03F55) Functionals in proof theory (03F10)

Recommendations

• Relative lawlessness in intuitionistic analysis
• scientific article; zbMATH DE number 3941537
• Realizing Brouwer's sequences
• A classical view of the intuitionistic continuum
• Spreads or choice sequences?

Cited in

(6)

• The definability of \(\mathbb{E}\) in self-iterable mice
• scientific article; zbMATH DE number 3871349 (Why is no real title available?)
• scientific article; zbMATH DE number 510786 (Why is no real title available?)
• A classical view of the intuitionistic continuum
• A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
• Randomness? What randomness?

This page was built for publication: Iterated definability, lawless sequences, and Brouwer's continuum

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221591)