Iterated Definability, Lawless Sequences, and Brouwer’s Continuum

DOI10.1093/ACPROF:OSO/9780198759591.003.0004zbMath1433.03149OpenAlexW2556348504MaRDI QIDQ5221591

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

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

Related Items (2)

Randomness? What randomness? ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES

This page was built for publication: Iterated Definability, Lawless Sequences, and Brouwer’s Continuum