zbMATH — the first resource for mathematics

A note on iterative arguments in a topos. (English) Zbl 0767.18003
Least fixed points (say subalgebras spanned by subsets) may, in the topos of sets, be constructed from above (through a large intersection), or from below, by an iterative process (possibly transfinite). In any topos, the from-above procedure is well understood; the status of the from-below procedure is investigated in the present paper. The point is that no use is made of any natural number object, let alone ordinal number object, to parametrize the stages in the iteration.
The results are used by the author, in the context of general topology in a topos, in the paper reviewed below [see Zbl 0767.18004].
Reviewer: A.Kock (Aarhus)

18B25 Topoi
03F50 Metamathematics of constructive systems
Full Text: DOI
[1] Vermeulen, Math. Proc. Cambridge Philos. Soc. 110 pp 63– (1991)
[2] Tarski, Pacific J. Math. 5 pp 574– (1955) · Zbl 0064.26004
[3] Aczel, Handbook of Mathematical Logic pp 739– (1977)
[4] Johnstone, Fund. Math. 113 pp 21– (1981)
[5] Borceux, Ann. Soc. Sci. Bruxelles Sr. I 100 pp 31– (1986)
[6] Joyal, An Extension of the Galois theory of Grothendieck (1984) · Zbl 0541.18002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.