Iterated definability, lawless sequences, and Brouwer's continuum

DOI10.1093/ACPROF:OSO/9780198759591.003.0004zbMATH Open1433.03149OpenAlexW2556348504MaRDI QIDQ5221591FDOQ5221591

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

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?

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)

Cited In (6)

• The definability of \(\mathbb{E}\) in self-iterable mice
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)