Cargando…

Duality and definability in first order logic

Detalles Bibliográficos
Autor principal:	Makkai, Michael
Lenguaje:	eng
Publicado:	American Mathematical Society 2014
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2204023

Ejemplares similares

First order categorical logic: model-theoretical methods in the theory of Topoi and related categories
por: Makkai, Michael, et al.
Publicado: (1977)

First-order logic
por: Smullyan, Raymond M
Publicado: (1968)

Leo Esakia on duality in modal and intuitionistic logics
por: Bezhanishvili, Guram
Publicado: (2014)

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

First-order logic and automated theorem proving
por: Gries, David, et al.
Publicado: (1990)

Generalized preinvexity and second order duality in multiobjective programming
por: Yang, Xinmin
Publicado: (2018)

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

Lectures on Residues and Duality
por: Hartshorne, Robin
Publicado: (1966)

Duality in measure theory
por: Constantinescu, Corneliu
Publicado: (1980)

Duality in vector optimization
por: Bot, Radu Ioan
Publicado: (2009)

Interpolation functors and duality
por: Kaijser, Sten, et al.
Publicado: (1986)

Rings with Morita duality
por: Xue, Weimin
Publicado: (1992)

The equationally-defined commutator: a study in equational logic and algebra
por: Czelakowski, Janusz
Publicado: (2015)

Convex duality and financial mathematics
por: Carr, Peter, et al.
Publicado: (2018)

Heyting algebras: duality theory
por: Bezhanishvili, Guram, et al.
Publicado: (2019)

Dualities on generalized Koszul algebras
por: Green, Edward L, et al.
Publicado: (2002)

Imaginary Schur-Weyl duality
por: Kleshchev, Alexander, et al.
Publicado: (2017)

Projective duality and homogeneous spaces
por: Tevelev, E A
Publicado: (2006)

Torus fibrations, gerbes, and duality
por: Donagi, Ron, et al.
Publicado: (2008)

Dualities and representations of Lie superalgebras
por: Cheng, Shun-Jen, et al.
Publicado: (2013)

Conference on Strings, Duality, and Geometry
por: D’Hoker, Eric, et al.
Publicado: (2002)

Duality for nonconvex approximation and optimization
por: Singer, Ivan
Publicado: (2006)

Workshop on Strings, Duality and Geometry
Publicado: (2000)

Conjugate Duality in Convex Optimization
por: Bot, Radu Ioan
Publicado: (2010)

Introduction to Grothendieck duality theory
por: Altman, Allen, et al.
Publicado: (1970)

Grothendieck duality and base change
por: Conrad, Brian
Publicado: (2000)

A first course in fuzzy logic
por: Nguyen, Hung T, et al.
Publicado: (2018)

A first journey through logic
por: Hils, Martin, et al.
Publicado: (2019)

Duality theories for Boolean algebras with operators
por: Givant, Steven
Publicado: (2014)

Conjugate duality and the exponential Fourier spectrum
por: Britton, Wray
Publicado: (1983)

Graphs on surfaces: dualities, polynomials, and knots
por: Ellis-Monaghan, Joanna A, et al.
Publicado: (2013)

Integrability, self-duality, and twistor theory
por: Mason, L, et al.
Publicado: (1996)

The duality of compact semigroups and C*-bigebras
por: Hofmann, K H
Publicado: (1970)

Bundles of topological vector spaces and their duality
por: Gierz, Gerhard
Publicado: (1982)

Foundations of Grothendieck duality for diagrams of schemes
por: Lipman, Joseph, et al.
Publicado: (2009)

Residues and duality for projective algebraic varieties
por: Kunz, Ernst, et al.
Publicado: (2008)

A first course in mathematical logic and set theory
por: O'Leary, Michael L
Publicado: (2016)

Fundamentals of convex analysis: duality, separation, representation, and resolution
por: Panik, Michael J
Publicado: (1993)

Graph structure and monadic second-order logic: a language-theoretic approach
por: Courcelle, Bruno, et al.
Publicado: (2012)

Duality and approximation methods for cooperative optimization and control
por: Bürger, Mathias
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_ehnjkrk1r7r4obegerekmhgkt9