Duality and definability in first order logic

Duality and definability in first order logic / Michael Makkai.

Saved in:

Bibliographic Details
Main Author:	Makkai, Mihály, 1939- (Author)
Format:	eBook
Language:	English
Published:	Providence, Rhode Island : American Mathematical Society, 1993.
Series:	Memoirs of the American Mathematical Society ; Volume 105, no. 503.
Subjects:	First-order logic. Duality theory (Mathematics) Toposes. First-order logic Toposes
Online Access:	Click for online access

Similar Items

Duality and definability in first order logic
by: Makkai, Michael, 1939-
Published: (1993)

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

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

Accessible categories : the foundations of categorical model theory
by: Makkai, Michael, 1939-
Published: (1989)

Fragments of first-order logic
by: Pratt-Hartmann, Ian
Published: (2023)

Decidability of logical theories and their combination
by: Rasga, João
Published: (2020)

Simple Theories and Hyperimaginaries.
by: Casanovas, Enrique, 1957-
Published: (2011)

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

Model theory and topoi
Published: (1975)

Semigroups underlying first-order logic
by: Craig, William, 1918-
Published: (2006)

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

Duality in measure theory
by: Constantinescu, Corneliu
Published: (1980)

A philosophical companion to first-order logic
Published: (1993)

The formal theory of Tannaka duality
by: Schäppi, Daniel (Mathematician)
Published: (2013)

Independence-friendly logic : a game-theoretic approach
by: Mann, Allen L. (Allen Lawrence)
Published: (2011)

Forcing and classifying topoi
by: Ščedrov, Andrej, 1955-
Published: (1984)

Semigroups underlying first-order logic
by: Craig, William, 1918-
Published: (2006)

Proper maps of toposes
by: Moerdijk, Ieke
Published: (2000)

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

Hyperbolic groupoids and duality
by: Nekrashevych, Volodymyr, 1975-
Published: (2015)

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

Relative nonhomogeneous Koszul duality
by: Positselski, Leonid, 1973-
Published: (2022)

A lattice of chapters of mathematics : interpretations between theorems
by: Mycielski, Jan, 1932-
Published: (1990)

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

Arithmetic duality theorems
by: Milne, J. S., 1942-
Published: (1986)

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

An extension of the Galois theory of Grothendieck
by: Joyal, André
Published: (1984)

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

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

Homology of analytic sheaves and duality theorems
by: Golovin, V. D. (Viktor Dmitrievich)
Published: (1989)

A lattice of chapters of mathematics : interpretations between theorems
by: Mycielski, Jan, 1932-
Published: (1990)

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

Metalogic: an introduction to the metatheory of standard first order logic.
by: Hunter, Geoffrey
Published: (1971)

Forcing and classifying topoi
by: Ščedrov, Andrej, 1955-
Published: (1984)

Introduction to Grothendieck duality theory
by: Altman, Allen
Published: (1970)

Dualities on generalized Koszul algebras
by: Green, Edward L., 1946-
Published: (2002)

Duality for smooth families in equivariant stable homotopy theory
by: Hu, Po, 1974-
Published: (2003)

Extending intersection homology type invariants to non-Witt spaces
by: Banagl, Markus, 1971-
Published: (2002)

Topology, C*-algebras, and string duality
by: Rosenberg, J. (Jonathan), 1951-
Published: (2009)

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