Let L be an elementary topos. The axiom of infinity, asserting that L has a natural numbers object, is shown to be necessary-sufficiency has long been known-for the existence of an object-classifying topos over L .Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/45657/1/12_2005_Article_BF01211840.pd
For a category E with finite limits and well-behaved countable coproducts, we construct a model stru...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1998.Includes bibliogr...
The foundation of analysis does not require the full generality of set theory but can be accomplishe...
AbstractLet λ be a finitary geometric theory and δ its classifying topos. We prove that δ is Boolean...
By a classifying topos for a first-order theory T, we mean a toposE such that, for any topos F, mode...
We prove that every elementary $(\infty,1)$-topos has a natural number object. We achieve this by de...
AbstractOur aim is to show that if a topos has a natural number object, then this object N can be eq...
AbstractWe show that Robinson's finite forcing, for a theory T, is a universal construction in the s...
Topoi originated in the 1960's when Grothendieck found a powerful way to study categories related to...
We prove that every elementary (infinity, 1)-topos has a natural number object. We achieve this by d...
We show that Robinson's finite forcing, for a theory , is a universal construction in the sense of c...
A topos is a category satisfying certain axioms. By satisfying the topos axioms, a category can be t...
Let [lambda] be a finitary geometric theory and [delta] its classifying topos. We prove that [delta]...
Topoi are categories which have enough structure to interpret higher order logic. They admit two no...
AbstractIt is shown that every topos with enough points is equivalent to the classifying topos of a ...
For a category E with finite limits and well-behaved countable coproducts, we construct a model stru...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1998.Includes bibliogr...
The foundation of analysis does not require the full generality of set theory but can be accomplishe...
AbstractLet λ be a finitary geometric theory and δ its classifying topos. We prove that δ is Boolean...
By a classifying topos for a first-order theory T, we mean a toposE such that, for any topos F, mode...
We prove that every elementary $(\infty,1)$-topos has a natural number object. We achieve this by de...
AbstractOur aim is to show that if a topos has a natural number object, then this object N can be eq...
AbstractWe show that Robinson's finite forcing, for a theory T, is a universal construction in the s...
Topoi originated in the 1960's when Grothendieck found a powerful way to study categories related to...
We prove that every elementary (infinity, 1)-topos has a natural number object. We achieve this by d...
We show that Robinson's finite forcing, for a theory , is a universal construction in the sense of c...
A topos is a category satisfying certain axioms. By satisfying the topos axioms, a category can be t...
Let [lambda] be a finitary geometric theory and [delta] its classifying topos. We prove that [delta]...
Topoi are categories which have enough structure to interpret higher order logic. They admit two no...
AbstractIt is shown that every topos with enough points is equivalent to the classifying topos of a ...
For a category E with finite limits and well-behaved countable coproducts, we construct a model stru...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1998.Includes bibliogr...
The foundation of analysis does not require the full generality of set theory but can be accomplishe...
DOI
Add to ORKG