Model theory and topoi : a collection of lectures by various authors /

Lecture notes on topoi and quasitopoi /
by: Wyler, Oswald
Published: (1991)

Topoi, the categorial analysis of logic /
by: Goldblatt, Robert
Published: (1979)

First order categorical logic : model-theoretical methods in the theory of topoi and related categories /
by: Makkai, Mihály, 1939-
Published: (1977)

Classifying spaces and classifying topoi /
by: Moerdijk, Ieke
Published: (1995)

Singular coverings of toposes /
by: Bunge, M. (Marta)
Published: (2006)

Accessible categories : the foundations of categorical model theory /
by: Makkai, Mihály, 1939-
Published: (1989)

Algebra in a localic topos with application to ring theory /
by: Borceux, Francis, 1948-
Published: (1983)

Indexed categories and their applications /
Published: (1978)

Topos theory /
by: Johnstone, P. T.
Published: (1977)

Toposes, triples, and theories /
by: Barr, Michael, 1937-
Published: (1985)

Theories, sites, toposes : relating and studying mathematical theories through topos-theoretic 'bridges' /
by: Caramello, Olivia
Published: (2018)

Toposes and local set theories : an introduction /
by: Bell, J. L. (John Lane)
Published: (1988)

Sketches of an elephant : a topos theory compendium /
by: Johnstone, P. T.
Published: (2002)

Logique des topos : introduction a la theorie des topos elementaires /
by: Schlomiuk, Dana
Published: (1977)

Higher topos theory /
by: Lurie, Jacob, 1977-
Published: (2009)

Algebra in a localic topos with applications to ring theory /
by: Borceux, Francis, 1948-
Published: (1983)

Relative category theory and geometric morphisms : a logical approach /
by: Chapman, Jonathan
Published: (1992)

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971 /
Published: (1972)

Indexed categories and their applications /
Published: (1978)

Elementary categories, elementary toposes /
by: McLarty, Colin
Published: (1995)

Enthymemes and topoi in dialogue : the use of common sense reasoning in conversation /
by: Breitholtz, Ellen
Published: (2020)

Toposes, triples, and theories /
by: Barr, Michael, 1937-
Published: (1985)

Around classification theory of models /
by: Shelah, Saharon
Published: (1986)

Topological model theory /
by: Flum, Jörg
Published: (1980)

Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979 /
Published: (1981)

Around classification theory of models /
by: Shelah, Saharon
Published: (1986)

Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979 /
Published: (1981)

Topological model theory /
by: Flum, Jörg
Published: (1980)

Model theory and algebra : a memorial tribute to Abraham Robinson /
Published: (1975)

Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 /
Published: (1980)

Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985 /
Published: (1987)

Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture /
Published: (1998)

Model theoretic algebra : selected topics /
by: Cherlin, Gregory L., 1948-
Published: (1976)

Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmethic [as printed] held at Karpacz, Poland, September 1-7, 1979 /
Published: (1980)

Model theory and algebra : a memorial tribute to Abraham Robinson /
Published: (1975)

Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture /
Published: (1998)