QA9.7 .M64 1998
|
Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / |
1 |
QA9.7 .M68
|
Model theory and topoi / |
1 |
QA9.7 .M689
|
Model theory and algebra : a memorial tribute to Abraham Robinson / |
1 |
QA9.7 .M738 2008
|
Model theory with applications to algebra and analysis / |
1 |
QA9.7 .M78 2011
|
Motivic integration and its interactions with model theory and non-Archimedean geometry / |
1 |
QA9.7 .P54 1996
|
Geometric stability theory / |
1 |
QA9.7 .P6813 2001
|
Stable groups / |
1 |
QA9.7 .P74 1988
|
Model theory and modules / |
1 |
QA9.7 .R83 1993
|
The Reconstruction of Trees from Their Automorphism Groups. The reconstruction of trees from their automorphism groups / |
2 |
QA9.7 .S528
|
Around classification theory / |
1 |
QA9.7 .S53
|
Classification theory and the number of non-isomorphic / |
1 |
QA9.7 .S53 1990
|
Classification theory and the number of non-isomorphic models / |
1 |
QA9.7 .S535 1998
|
Proper and improper forcing / |
1 |
QA 9.7 S54
|
Proper forcing / |
1 |
QA9.7 .T63 2014eb
|
NOTES ON FORCING AXIOMS. |
1 |
QA9.7 .U48 2008
|
Ultrafilters across mathematics : international congress, Ultramath 2008, Applications of Ultrafilters and Ultraproducts in Mathematics, June 1-7, 2008, Pisa, Italy / |
1 |
QA9.7 U48 2008eb
|
Ultrafilters across Mathematics. |
1 |
QA9.7 .W435 2014eb
|
Forcing for mathematicians / |
1 |
QA9.7 .W66 1999eb
|
The axiom of determinacy, forcing axioms, and the nonstationary ideal / |
1 |
QA9.7 .W66 2010
|
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal. |
1 |