Saturated Models for the Working Model Theorist

Yatir Halevi; Itay Kaplan

doi:10.1017/bsl.2023.6

Saturated Models for the Working Model Theorist

Yatir Halevi, Itay Kaplan

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

Abstract

We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.

Original language	English
Pages (from-to)	163-169
Number of pages	7
Journal	Bulletin of Symbolic Logic
Volume	29
Issue number	2
DOIs	https://doi.org/10.1017/bsl.2023.6
State	Published - 17 Jun 2023
Externally published	Yes

Keywords

03C50 03E45 03C10

ASJC Scopus subject areas

Philosophy
Logic

Access to Document

10.1017/bsl.2023.6

Cite this

@article{209df5af553c4349a04deb167bfa2238,

title = "Saturated Models for the Working Model Theorist",

abstract = "We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.",

keywords = "03C50 03E45 03C10",

author = "Yatir Halevi and Itay Kaplan",

note = "Publisher Copyright: {\textcopyright} The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic.",

year = "2023",

month = jun,

day = "17",

doi = "10.1017/bsl.2023.6",

language = "English",

volume = "29",

pages = "163--169",

journal = "Bulletin of Symbolic Logic",

issn = "1079-8986",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Saturated Models for the Working Model Theorist

AU - Halevi, Yatir

AU - Kaplan, Itay

N1 - Publisher Copyright: © The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic.

PY - 2023/6/17

Y1 - 2023/6/17

N2 - We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.

AB - We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.

KW - 03C50 03E45 03C10

UR - http://www.scopus.com/inward/record.url?scp=85149023814&partnerID=8YFLogxK

U2 - 10.1017/bsl.2023.6

DO - 10.1017/bsl.2023.6

M3 - Article

AN - SCOPUS:85149023814

SN - 1079-8986

VL - 29

SP - 163

EP - 169

JO - Bulletin of Symbolic Logic

JF - Bulletin of Symbolic Logic

IS - 2

ER -

Saturated Models for the Working Model Theorist

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this