Welcome to the Kids' Library!

Accessible categories : the foundations of categorical model theory

Makkai, Mihaly, 1939- author.
Providence, Rhode Island : American Mathematical Society, [1989] 1989

The axiom of determinacy, forcing axioms, and the nonstationary ideal

Woodin, W. H. (W. Hugh)
Berlin ; New York : W. de Gruyter, 1999. 1999

The axiom of determinacy, forcing axioms, and the nonstationary ideal

Woodin, W. H. (W. Hugh)
Berlin ; New York : De Gruyter, c2010. 2010

The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments

Cherlin, Gregory L., 1948- author.
Providence, Rhode Island : American Mathematical Society, [1998] 1998

Definable additive categories : purity and model theory

Prest, Mike, author.
Providence, Rhode Island : American Mathematical Society, 2010. 2010

Distribution models theory

New Jersey : World Scientific, c2006. 2006

Factorization and model theory for contraction operators with unitary part

Ball, Joseph A., 1947- author.
Providence : American Mathematical Society, [1978] 1978

Generative complexity in algebra

Berman, Joel, 1943- author.
Providence, Rhode Island : American Mathematical Society, [2005] 2005

Institution-independent model theory

Diaconescu, Razvan.
Basel ; Boston : Birkhauser, c2008. 2008

Logic and algebra

Providence, Rhode Island : American Mathematical Society, [2002] 2002

Logic without borders

Boston : De Gruyter, [2015] 2015

Model theory and linear extreme points in the numerical radius unit ball

Dritschel, Michael A., 1956- author.
Providence, Rhode Island : American Mathematical Society, [1997] 1997

Modelling metaphysics the metaphysics of a model

Meixner, Uwe.
Frankfurt ; New Brunswick [N.J.] : Ontos, 2010. 2010

Models, modules and Abelian groups in memory of A.L.S. Corner

Berlin : New York : Walter de Gruyter, c2008. 2008

Realizability an introduction to its categorical side

Oosten, Jaap van.
Oxford : Elsevier, 2008. 2008

The reconstruction of trees from their automorphism groups

Rubin, Matatyahu, author.
Providence, Rhode Island : American Mathematical Society, [1993] 1993

Simple theories and hyperimaginaries

Casanovas, Enrique, 1957-
New York : Cambridge University Press, 2011. 2011

Tame flows

Nicolaescu, Liviu I., author.
Providence, Rhode Island : American Mathematical Society, 2010. 2010

Taxinomie et Realite : vers une metaclassification

Parrochia, Daniel, 1951- author.
London : ISTE Editions Ltd., 2014. 2014

A unified approach to structural limits and limits of graphs with bounded tree-depth

Nesetril, Jaroslav, author.
Providence, Rhode Island : American Mathematical Society, [2020] 2020