A note on iterative arguments in a topos

DOI10.1017/S0305004100075150zbMath0767.18003OpenAlexW2070931406MaRDI QIDQ3994047

J. J. C. Vermeulen

Publication date: 13 August 1992

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004100075150

zbMATH Keywords

transfinite iterationleast fixed pointstopos of sets

Mathematics Subject Classification ID

Topoi (18B25) Metamathematics of constructive systems (03F50)

Related Items (2)

THE FRAME ENVELOPE OF A σ-FRAME ⋮ Intuitionistic sets and ordinals

Cites Work

• A lattice-theoretical fixpoint theorem and its applications
• An extension of the Galois theory of Grothendieck

This page was built for publication: A note on iterative arguments in a topos