yr 〜
yr

Search results 113

Topics in model theory

Topics in model theory
Paper図書
Anand PillayWorld Scientificc2024
Other Libraries in Japan
  • LCCQA9.7

Subsystems of second order arithmetic / Stephen G. Simpson. 2nd ed. (Perspectives in logic)

Subsystems of second order arithmetic / Stephen G. Simpson. 2nd ed. (Perspectives in logic)
Paper図書
Cambridge University Press2009.<MA41-B25>
National Diet Library
  • LCCQA9.7

Fast track to forcing : hardback

Fast track to forcing : hardback
Paper図書
Mirna DžamonjaCambridge University Press2021
Other Libraries in Japan
  • LCCQA9.7

Beyond first order model theory

Beyond first order model theory
Paper図書
Jose IovinoCRC Pressc2017
Other Libraries in Japan
  • LCCQA9.7

Forcing, iterated ultrapowers, and turing degrees

Forcing, iterated ultrapowers, and turing degrees
Paper図書
editors Chitat Chong, ... [et. al.]World Scientificc2016
Other Libraries in Japan
  • LCCQA9.7

Finite structures with few types / Gregory Cherlin and Ehud Hrushovski. (Annals of mathematics studies ; no. 152)

Finite structures with few types / Gregory Cherlin and Ehud Hrushovski. (Annals of mathematics studies ; no. 152)
Paper図書
Princeton University Press2003.<MA41-B5>
National Diet Library
  • LCCQA9.7

Logic without borders

Logic without borders
Paper図書
edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés VillavecesDe Gruyterc2015
Other Libraries in Japan
  • LCCQA9.7

A guide to NIP theories hbk.

A guide to NIP theories hbk.
Paper図書
Pierre SimonCambridge University Press2015
Other Libraries in Japan
  • LCCQA9.7

Notes on forcing axioms

Notes on forcing axioms
Paper図書
Stevo Todorcevic ; editors, Chitat Chong ... [et al.]World Scientificc2014
Other Libraries in Japan
  • LCCQA9.7

Forcing for mathematicians : hardcover

Forcing for mathematicians : hardcover
Paper図書
Nik WeaverWorld Scientificc2014
Other Libraries in Japan
  • LCCQA9.7

Model theory

Model theory
Paper図書
C.C. Chang, H. Jerome KeislerDover Publications2012
Other Libraries in Japan
  • LCCQA9.7

Ultrafilters across mathematics : international congress, Ultramath 2008: Applications of Ultrafilters and Ultraproducts in Mathematics, June 1-7, 2008, Pisa, Italy : pbk

Ultrafilters across mathematics : international congress, Ultramath 2008: Applications of Ultrafilters and Ultraproducts in Mathematics, June 1-7, 2008, Pisa, Italy : pbk
Paper図書
Vitaly Bergelson ... [et al.], editorsAmerican Mathematical Societyc2010
Other Libraries in Japan
  • LCCQA9.7

Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai : pbk

Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai : pbk
Paper図書
Bradd Hart ... [et al.], editorsAmerican Mathematical Societyc2011
Other Libraries in Japan
  • LCCQA9.7

Stable domination and independence in algebraically closed valued fields : pbk

Stable domination and independence in algebraically closed valued fields : pbk
Paper図書
Deirdre Haskell, Ehud Hrushovski, Dugald MacphersonAssociation for Symbolic Logic2011, c2008
Other Libraries in Japan
  • LCCQA9.7

Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / Elisabeth Bouscaren (ed.). (Lecture notes in mathematics ; 1696)

Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / Elisabeth Bouscaren (ed.). (Lecture notes in mathematics ; 1696)
Paper図書
Springerc1998.<MA95-A77>
National Diet Library
  • LCCQA3 QA9.7

Model theoretic methods in finite combinatorics : AMS-ASL joint special session, January 5-8, 2009, Washington, DC

Model theoretic methods in finite combinatorics : AMS-ASL joint special session, January 5-8, 2009, Washington, DC
Paper図書
Martin Grohe, Johann A. Makowsky, editorsAmerican Mathematical Societyc2011
Other Libraries in Japan
  • LCCQA9.7

Finite and algorithmic model theory : pbk

Finite and algorithmic model theory : pbk
Paper図書
edited by Javier Esparza, Christian Michaux, Charles SteinhornCambridge University Press2011
Other Libraries in Japan
  • LCCQA9.7

Simple theories and hyperimaginaries

Simple theories and hyperimaginaries
Paper図書
Enrique CasanovasAssociation for Symbolic Logic2011
Other Libraries in Japan
  • LCCQA9.7

Subsystems of second order arithmetic 2nd ed

Subsystems of second order arithmetic 2nd ed
Paper図書
Stephen G. SimpsonAssociation for Symbolic Logic : Cambridge University Press2009
Other Libraries in Japan
  • LCCQA9.7

The axiom of determinacy, forcing axioms, and the nonstationary ideal : hardcover 2nd rev. ed

The axiom of determinacy, forcing axioms, and the nonstationary ideal : hardcover 2nd rev. ed
Paper図書
W. Hugh WoodinDe Gruyterc2010
Other Libraries in Japan
  • LCCQA9.7