More about relatively lawless sequences

DOI10.2307/2275909zbMath0867.03020OpenAlexW2010012635MaRDI QIDQ4314672

Joan Rand Moschovakis

Publication date: 4 August 1997

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275909

zbMATH Keywords

forcingBaire spacefanpredictabilitychoice sequencesrelatively lawless sequencesaxiom of closed data

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items (3)

A classical view of the intuitionistic continuum ⋮ Analyzing realizability by Troelstra's methods ⋮ Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Unnamed Item
• Unnamed Item

This page was built for publication: More about relatively lawless sequences