Cargando…

Duality and definability in first order logic /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Makkai, Mihály, 1939- (Autor)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Providence, Rhode Island : American Mathematical Society, 1993.
Colección:	Memoirs of the American Mathematical Society ; Volume 105, no. 503.
Temas:	First-order logic. Duality theory (Mathematics) Toposes. Logique du premier ordre. Principe de dualité (Mathématiques) Topos (Mathématiques) First-order logic 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)

Duality and Approximation Methods for Cooperative Optimization and Control.
por: Bürger, Mathias
Publicado: (2014)

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

Lógica matemática /
por: Mora Espinosa, Carlos Fernando, et al.
Publicado: (2019)

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

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

Studies in duality on noetherian formal schemes and non-noetherian ordinary schemes /
por: Alonso Tarrío, Leovigildo, 1962-
Publicado: (1999)

Pontryagin duality and the structure of locally compact abelian groups /
por: Morris, Sidney A., 1947-
Publicado: (1977)

Simple theories and hyperimaginaries /
por: Casanovas, Enrique, 1957-
Publicado: (2011)

Forcing and classifying topoi /
por: Ščedrov, Andrej, 1955-
Publicado: (1984)

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

Simple Theories and Hyperimaginaries.
por: Casanovas, Enrique, 1957-
Publicado: (2011)

Hyperbolic groupoids and duality /
por: Nekrashevych, Volodymyr, 1975-
Publicado: (2015)

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

Semigroups underlying first-order logic /
por: Craig, William, 1918-
Publicado: (2006)

Duality for actions and coactions of measured groupoids of von Neumann algebras /
por: Yamanouchi, Takehiko, 1961-
Publicado: (1993)

Equivalence and duality for module categories : with tilting and cotilting for rings /
Publicado: (2004)

Equivalence and duality for module categories : with tilting and cotilting for rings /
Publicado: (2004)

Extending intersection homology type invariants to non-Witt spaces /
por: Banagl, Markus, 1971-
Publicado: (2002)

Imaginary Schur-Weyl duality /
por: Kleshchëv, A. S. (Aleksandr Sergeevich), et al.
Publicado: (2017)

Dependence logic : a new approach to independence friendly logic /
por: Väänänen, J. (Jouko), 1950-
Publicado: (2007)

Dualities on generalized Koszul algebras /
por: Green, Edward L., 1946-
Publicado: (2002)

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

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

Independence-friendly logic : a game-theoretic approach /
por: Mann, Allen L. (Allen Lawrence)
Publicado: (2011)

A lattice of chapters of mathematics : interpretations between theorems /
por: Mycielski, Jan, 1932-
Publicado: (1990)

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

On the theory of vector measures /
por: Graves, William H. (William Howard), 1940-2016
Publicado: (1977)

Poincaré duality algebras, Macaulay's dual systems, and Steenrod operations /
por: Meyer, Dagmar M.
Publicado: (2005)

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)

Intersection calculus on surfaces with applications to 3-manifolds /
por: Hempel, John, 1935-
Publicado: (1983)

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

Calcul en logique du premier ordre /
por: Bouchard, Yves, 1963-
Publicado: (2016)

Introduction to the network approximation method for materials modeling /
por: Berlyand, Leonid, 1957-
Publicado: (2013)

Variance and duality for Cousin complexes on formal schemes /
por: Lipman, Joseph
Publicado: (2005)

Argumentos duales : el principio de dualidad como una estructura argumentativa /
por: Gutiérrez Valderrama, Juliana
Publicado: (2018)

Milton, poet of duality : a study of semiosis in the poetry and the prose /
por: Shoaf, R. A. (Richard Allen), 1948-
Publicado: (1993)

Set-valued optimization : an introduction with applications /
por: Khan, Akhtar A., et al.
Publicado: (2015)

An Introduction to Non-Classical Logic : From If to Is
por: Priest, Graham
Publicado: (2008)

Cannot write session to /tmp/vufind_sessions/sess_jm7d5n2jamsbdu1n7man8ejg8e