Forcing a countable structure to belong to the ground model

DOI10.1002/malq.201400094zbMath1372.03059arXiv1410.1224MaRDI QIDQ2958213

Saharon Shelah, Itay Kaplan

Publication date: 1 February 2017

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.1224

zbMATH Keywords

forcing; linear order; atomic model; Scott sentence; ground model; isolated type

Mathematics Subject Classification ID

03C50: Models with special properties (saturated, rigid, etc.)

03C64: Model theory of ordered structures; o-minimality

03C25: Model-theoretic forcing

03C15: Model theory of denumerable and separable structures