fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Categoricity

Categoricity

by John T. Baldwin

Model theoryCompleteness theoremLogic, symbolic and mathematical
0.0
Open Library
Open Library

Themes & subjects

Model theoryCompleteness theoremLogic, symbolic and mathematical

Author

John T. Baldwin

Editions

1

Language

English

Publisher

American Mathematical Society

ISBN

9780821848937

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Model theory of fields

Model theory · Algebraic fields

Model theory of fields

D. Marker

1996

Motivic integration and its interactions with model theory and non-Archimedean geometry

MATHEMATICS / Logic · Valued fields

Motivic integration and its interactions with model theory and non-Archimedean geometry

Raf Cluckers

2011

Model theory with applications to algebra and analysis

Model theory · Geometry, algebraic

Model theory with applications to algebra and analysis

Dugald Macpherson

2008

Models and ultraproducts

Model theory · Ultraproducts

Models and ultraproducts

John L. Bell

1969

Stable Domination and Independence in Algebraically Closed Valued Fields

Model theory · Graph theory

Stable Domination and Independence in Algebraically Closed Valued Fields

Deirdre Haskell

2007

Models and Modelling in the Sciences

Science, philosophy · Science

Models and Modelling in the Sciences

Stephen M. Downes

2020

Introduction to model theory

Model theory · Modèles, Théorie des

Introduction to model theory

Philipp Rothmaler

2000

Non-Archimedean utility theory

Mathematical models · Logic, Symbolic and mathematical

Non-Archimedean utility theory

Heinz J. Skala

1975

Logica Universalis

Model theory · Symbolic and mathematical Logic

Logica Universalis

Jean-Yves Beziau

2005

Model theory of stochastic processes

Stochastic processes · Model theory

Model theory of stochastic processes

Sergio Fajardo

2002

Fundamentals of mathematical logic

Model theory · Recursion theory

Fundamentals of mathematical logic

Peter G. Hinman

2005

Polynomial completeness in algebraic systems

Completeness theorem · Polynomials

Polynomial completeness in algebraic systems

Kalle Kaarli

2000

The Mathematics of Logic

Symbolic and mathematical Logic · Completeness theorem

The Mathematics of Logic

Richard W. Kaye

2007

Uncountably categorical theories

Categories (Mathematics) · Completeness theorem

Uncountably categorical theories

Boris Zilber

1993

Completeness theory for propositional logics

Completeness theorem · Logic, symbolic and mathematical

Completeness theory for propositional logics

Pogorzelski, Witold.

2008

Beginning model theory

Completeness theorem · Model theory

Beginning model theory

Jane Bridge

1977

Funkcje rekurencyjne i elementy metamatematyki

Completeness theorem · Decidability (Mathematical logic)

Funkcje rekurencyjne i elementy metamatematyki

Roman Murawski

1990