Duality and definability in first order logic

Duality and definability in first order logic / Michael Makkai.

Saved in:

Bibliographic Details
Main Author:	Makkai, Michael, 1939-
Format:	Book
Language:	English
Published:	Providence, R.I. : American Mathematical Society, c1993.
Series:	Memoirs of the American Mathematical Society, no. 503
Subjects:	First-order logic. Duality theory (Mathematics) Toposes.

Similar Items

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

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

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

First-order logic
by: Smullyan, Raymond M.
Published: (1968)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mathematical logic: a first course
by: Robbin, Joel W.
Published: (1969)

An introduction to mathematical logic and type theory : to truth through proof
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (1986)

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

Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)

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

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)

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

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

Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-, et al.
Published: (2021)

Admissible sets and structures : an approach to definability theory
by: Barwise, Jon
Published: (1975)

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

Bundles of topological vector spaces and their duality
by: Gierz, Gerhard
Published: (1982)

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

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

Logic as algebra
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1998)

Mathematical logic
by: Monk, J. Donald (James Donald), 1930-
Published: (1976)

Logic and structure
by: Dahlen, Dirk van, 1932-
Published: (1980)

Logic for mathematicians
by: Hamilton, A. G., 1943-
Published: (1978)

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