More about relatively lawless sequences

DOI10.2307/2275909MaRDI QIDQ4314672zbMATH OpenOpenAlexFDO

Authors 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

axiom of closed dataBaire spacechoice sequencesfanforcingpredictabilityrelatively lawless sequences

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

• Relative lawlessness in intuitionistic analysis
• scientific article; zbMATH DE number 3941537
• Realizing Brouwer's sequences
• scientific article; zbMATH DE number 510786
• scientific article; zbMATH DE number 3871349

Cites work

• Constructivism in mathematics. An introduction. Volume I
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)

Cited in

(9)

• A classical view of the intuitionistic continuum
• scientific article; zbMATH DE number 3871349 (Why is no real title available?)
• Unavoidable sequences in constructive analysis
• scientific article; zbMATH DE number 3941537 (Why is no real title available?)
• Relative lawlessness in intuitionistic analysis
• Spreads or choice sequences?
• Kolmogorov complexity in perspective. I: Information theory and randomness
• scientific article; zbMATH DE number 3253161 (Why is no real title available?)
• Analyzing realizability by Troelstra's methods

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

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