Jump to main content

yr 〜
yr

Search results 262

モデル理論

モデル理論
Paper図書
板井昌典 著森北出版2023.2<MA41-M47>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）モデル理論 Model theory
  • Alternative TitleModel Theory
  • Alternative TitleModel Theory

Topics in model theory

Topics in model theory
Paper図書
Anand PillayWorld Scientificc2024
Other Libraries in Japan
  • Subject HeadingModel theory Stability
  • Subject Heading (ID)Model theory Stability

Beyond first order model theory v. 2

Beyond first order model theory v. 2
Paper図書
edited by José IovinoChapman & Hall/CRC2023
Other Libraries in Japan
  • Subject HeadingModel theory
  • Subject Heading (ID)Model theory

幾何的モデル理論入門 改訂版

幾何的モデル理論入門 改訂版
PaperDigital図書
板井昌典 著日本評論社2020.9<MA41-M26>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）モデル理論 Model theory Geometry, Algebraic

Towers and the first-order theories of hyperbolic groups

Towers and the first-order theories of hyperbolic groups
Paper図書
Vincent Guirardel, Gilbert Levitt, Rizos SklinosAmerican Mathematical Societyc2024
Other Libraries in Japan
  • Subject HeadingHyperbolic groups Model theory Group theory a......foundations -- Model theory -- Model-theoretic algebra ms...
  • Subject Heading (ID)Hyperbolic groups Model theory Group theory a......foundations -- Model theory -- Model-theoretic algebra ms...

Point-counting and the Zilber-Pink conjecture : hardback

Point-counting and the Zilber-Pink conjecture : hardback
Paper図書
Jonathan PilaCambridge University Press2022
Other Libraries in Japan
  • Subject HeadingArithmetical algebraic geometry Diophantine equations Modular curves Model theory
  • Subject Heading (ID)Arithmetical algebraic geometry Diophantine equations Modular curves Model theory

Model theory of C*-algebras

Model theory of C*-algebras
Paper図書
Ilijas Farah ... [et al.]American Mathematical Societyc2021
Other Libraries in Japan
  • Subject HeadingC*-algebras Model theory C*-algebras. fast (OCoLC)fst00843285 Model theory. fast (OCoLC)fst01024368
  • Subject Heading (ID)C*-algebras Model theory C*-algebras. fast (OCoLC)fst00843285 Model theory. fast (OCoLC)fst01024368

An invitation to model theory : pbk : hardback

An invitation to model theory : pbk : hardback
Paper図書
Jonathan KirbyCambridge University Press2019
Other Libraries in Japan
  • Subject HeadingModel theory
  • Subject Heading (ID)Model theory

Beyond first order model theory : pbk

Beyond first order model theory : pbk
Paper図書
edited by Jośe IovinoCRC press2020, c2017
Other Libraries in Japan
  • Subject HeadingModel theory Logic, Symbolic and mathemati...
  • Subject Heading (ID)Model theory Logic, Symbolic and mathemati...

Neutrices and external numbers : a flexible number system : hbk

Neutrices and external numbers : a flexible number system : hbk
Paper図書
Bruno Dinis, Imme van den BergCRC Pressc2019
Other Libraries in Japan
  • Subject HeadingNonstandard mathematical analysis Model theory
  • Subject Heading (ID)Nonstandard mathematical analysis Model theory

Model theory and the philosophy of mathematical practice : formalization without foundationalism : hardback

Model theory and the philosophy of mathematical practice : formalization without foundationalism : hardback
Paper図書
John T. BaldwinCambridge University Press2018
Other Libraries in Japan
  • Subject HeadingModel theory
  • Subject Heading (ID)Model theory

Fundamentals of mathematical logic Special Indian ed.

Fundamentals of mathematical logic Special Indian ed.
Paper図書
Peter G. HinmanCRC Press2020, c2005
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical Model theory Set theory Recursion theory
  • Subject Heading (ID)Logic, Symbolic and mathematical Model theory Set theory Recursion theory

Philosophy and model theory : hardcover : pbk.

Philosophy and model theory : hardcover : pbk.
Paper図書
Tim Button and Sean WalshOxford University Press2018
Other Libraries in Japan
  • Subject HeadingModel theory Mathematics -- Philosophy
  • Subject Heading (ID)Model theory Mathematics -- Philosophy

Model-theoretic logics

Model-theoretic logics
Paper図書
edited by J. Barwise, S. FefermanAssociation for Symbolic Logicc2016
Other Libraries in Japan
  • Subject HeadingModel theory
  • Subject Heading (ID)Model theory

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
  • Subject HeadingModel theory. Group theory. Envelopes (Geo...

Forcing, iterated ultrapowers, and turing degrees

Forcing, iterated ultrapowers, and turing degrees
Paper図書
editors Chitat Chong, ... [et. al.]World Scientificc2016
Other Libraries in Japan
  • Subject HeadingModel theory Forcing (Model theory) Logic, Symbolic and mathemat...
  • Subject Heading (ID)Model theory Forcing (Model theory) Logic, Symbolic and mathemat...

Beyond first order model theory

Beyond first order model theory
Paper図書
Jose IovinoCRC Pressc2017
Other Libraries in Japan
  • Subject HeadingModel theory Logic, Symbolic and mathemati...
  • Subject Heading (ID)Model theory Logic, Symbolic and mathemati...

Model theory of fields

Model theory of fields
Paper図書
David Marker, Margit Messmer, Anand PillayCambridge University Press[2016]
Other Libraries in Japan
  • Subject HeadingModel theory Algebraic fields
  • Subject Heading (ID)Model theory Algebraic fields

Simplicity theory

Simplicity theory
Paper図書
Byunghan KimOxford University Press2014
Other Libraries in Japan
  • Subject HeadingModel theory
  • Subject Heading (ID)Model theory

Algebraic computability and enumeration models : recursion theory and descriptive complexity

Algebraic computability and enumeration models : recursion theory and descriptive complexity
Paper図書
Cyrus F. NouraniApple Academic Pressc2016
Other Libraries in Japan
  • Subject HeadingFunctor theory Model theory Computable functions Algebra,...
  • Subject Heading (ID)Functor theory Model theory Computable functions Algebra,...
RSS