Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Add Marked to Bag Add All On Page
Subjects (1-20 of 20)
Model Theory
1
E-Books/E-Docs
 

Accessible categories : the foundations of categorical model theory


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
2
E-Books/E-Docs
 

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


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
3
E-Books/E-Docs
 

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


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
4
E-Books/E-Docs
 

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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
5
E-Books/E-Docs
 

Definable additive categories : purity and model theory


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
6
E-Books/E-Docs
 

Distribution models theory



New Jersey : World Scientific, c2006. 2006

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
7
E-Books/E-Docs
 

Factorization and model theory for contraction operators with unitary part


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
8
E-Books/E-Docs
 

Generative complexity in algebra


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
9
E-Books/E-Docs
 

Institution-independent model theory


Diaconescu, Rzvan.
Basel ; Boston : Birkhäuser, c2008. 2008

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
10
E-Books/E-Docs
 

Logic and algebra



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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
11
E-Books/E-Docs
 

Logic without borders



Boston : De Gruyter, [2015] 2015

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
12
E-Books/E-Docs
 

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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
13
E-Books/E-Docs
 

Modelling metaphysics the metaphysics of a model


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
14
E-Books/E-Docs
 

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



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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
15
E-Books/E-Docs
 

Realizability an introduction to its categorical side


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
16
E-Books/E-Docs
 

The reconstruction of trees from their automorphism groups


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
17
E-Books/E-Docs
 

Simple theories and hyperimaginaries


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
18
E-Books/E-Docs
 

Tame flows


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
19
E-Books/E-Docs
 

Taxinomie et Realite : vers une metaclassification


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
20
E-Books/E-Docs
 

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


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only