More about relatively lawless sequences
From MaRDI portal
Publication:4314672
DOI10.2307/2275909zbMath0867.03020MaRDI QIDQ4314672
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
forcing; Baire space; fan; predictability; choice sequences; relatively lawless sequences; axiom of closed data
03F50: Metamathematics of constructive systems
Related Items
Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness, Analyzing realizability by Troelstra's methods, A classical view of the intuitionistic continuum
Cites Work