Ultrafilters, ultrapowers and finiteness in a topos
From MaRDI portal
Publication:1223383
DOI10.1016/0022-4049(75)90029-8zbMath0322.18001OpenAlexW2043338717WikidataQ127370782 ScholiaQ127370782MaRDI QIDQ1223383
Publication date: 1975
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(75)90029-8
Related Items
Finiteness notions in fuzzy sets, Dedekind finiteness in topoi, Nonstandard proof methods in toposes, Automorphisms of \(\Omega\), Filter quotients and non-presentable \((\infty,1)\)-toposes, Sheaves and Boolean valued model theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Categories of Boolean topoi
- The associated sheaf functor in an elementary topos
- Exact categories and categories of sheaves
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Model-completeness for sheaves of structures
- Flatness and localization over monoids
- Aspects of topoi
