On choice sequences determined by spreads

DOI10.2307/2274144zbMath0587.03044OpenAlexW2168980861MaRDI QIDQ3714078

Gerrit van der Hoeven, Ieke Moerdijk

Publication date: 1984

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

Full work available at URL: http://hdl.handle.net/2066/128979

zbMATH Keywords

continuous choiceanalytic datacontinuous operationsaxiom of spreaddataclosure of the domain of choice sequencesformal system CS

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items

Synthetic topology in Homotopy Type Theory for probabilistic programming, Unnamed Item

Cites Work

• Formal systems for some branches of intuitionistic analysis