Cargando…

Forcing and classifying topoi /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Ščedrov, Andrej, 1955-
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Providence, R.I., USA : American Mathematical Society, ©1984.
Colección:	Memoirs of the American Mathematical Society ; no. 295.
Temas:	Toposes. Categories (Mathematics) Forcing (Model theory) Topos (Mathématiques) Catégories (Mathématiques) Forcing (Théorie des modèles) Toposes
Acceso en línea:	Texto completo

Ejemplares similares

Accessible categories : the foundations of categorical model theory /
por: Makkai, Mihály, 1939-, et al.
Publicado: (1989)

Higher Topos Theory (AM-170).
Publicado: (2009)

Axiomization of passage from "local" structure to "global" object /
por: Feit, Paul, 1959-
Publicado: (1993)

Freyd's models for the independence of the axiom of choice /
por: Blass, Andreas, 1947-, et al.
Publicado: (1989)

Higher topos theory /
por: Lurie, Jacob, 1977-
Publicado: (2009)

Higher Topos Theory (AM-170) /
por: Lurie, Jacob, 1977-
Publicado: (2009)

Higher orbifolds and Deligne-Mumford stacks as structured infinity-topoi /
por: Carchedi, David Joseph
Publicado: (2020)

Proper maps of toposes /
por: Moerdijk, Ieke
Publicado: (2000)

An extension of the Galois theory of Grothendieck /
por: Joyal, André
Publicado: (1984)

Sheaves in Geometry and Logic : a First Introduction to Topos Theory.
por: Mac Lane, Saunders
Publicado: (1992)

Duality and definability in first order logic /
por: Makkai, Mihály, 1939-
Publicado: (1993)

Topoi : the categorial analysis of logic /
por: Goldblatt, Robert
Publicado: (1984)

Category theory for the sciences /
por: Spivak, David I., 1978-
Publicado: (2014)

Handbook of categorical algebra 3 : categories of sheaves /
por: Borceux, Francis, 1948-
Publicado: (1994)

Homotopy theory of diagrams /
por: Chachólski, Wojciech, 1968-
Publicado: (2002)

Equivariant orthogonal spectra and S-modules /
por: Mandell, M. A., 1970-
Publicado: (2002)

Categorical framework for the study of singular spaces /
por: Fulton, William, 1939-
Publicado: (1981)

Definable additive categories : purity and model theory /
por: Prest, Mike
Publicado: (2011)

S-modules in the category of schemes /
por: Hu, Po, 1974-
Publicado: (2003)

Structural reality /
por: Burgin, M. S. (Mark Semenovich)
Publicado: (2012)

Simplicial methods and the interpretation of "triple" cohomology /
por: Duskin, John Williford, 1937-
Publicado: (1975)

Cohomology of coalgebras
por: Jonah, David W.
Publicado: (1968)

The reductive subgroups of F₄ /
por: Stewart, David I., 1981-
Publicado: (2013)

Sets, Logic and Categories.
por: Cameron, Peter J.
Publicado: (1998)

Extensions of positive operators between Banach lattices /
por: Cartwright, Donald I., 1949-
Publicado: (1975)

A categorical approach to imprimitivity theorems for C*-dynamical systems /
Publicado: (2006)

Norms on possibilities I : forcing with trees and creatures /
por: Rosłanowski, Andrzej, 1960-
Publicado: (1999)

More than life itself : a synthetic continuation in relational biology /
por: Louie, Aloisius Ho-Yin
Publicado: (2009)

More than life itself : a synthetic continuation in relational biology /
por: Louie, Aloisius Ho-Yin
Publicado: (2009)

The spectrum of a module category /
por: Krause, Henning, 1962-
Publicado: (2001)

Functorial knot theory : categories of tangles, coherence, categorical deformations, and topological invariants /
por: Yetter, David N.
Publicado: (2001)

Functorial knot theory : categories of tangles, coherence, categorical deformations, and topological invariants /
por: Yetter, David N.
Publicado: (2001)

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

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

Descriptive set theory and definable forcing /
por: Zapletal, Jindřich, 1969-
Publicado: (2004)

The lattice of interpretability types of varieties /
por: García, O. C. (Octavio Carlos), 1933-, et al.
Publicado: (1984)

Ordinal invariants in topology /
por: Kannan, V.
Publicado: (1981)

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal.
por: Woodin, W. Hugh
Publicado: (2010)

Categorical Structures And Their Applications - Proceedings Of The North-west European Category Seminar.
por: Ghler, W.
Publicado: (2004)

G-categories /
por: Gordon, Robert, 1935-
Publicado: (1993)

Cannot write session to /tmp/vufind_sessions/sess_28d83pepvvk5upf9agal4f3rt3