A model and its subset: The uncountable case

DOI10.1016/0168-0072(95)91363-FMaRDI QIDQ1345008zbMATH OpenFDO

Authors Ludomir Newelski

Publication date 28 February 1995

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(95)91363-F

zbMATH Keywords

\(Q\)-atomic models\(Q\)-isolated typedefinable subsetssuperstable theoriesweak categoricity

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Interpolation, preservation, definability (03C40) Classification theory, stability, and related concepts in model theory (03C45)

Review text

This paper continues the study of the relationship between a model and its definable subsets, carried out by the author in earlier papers [J. Symb. Logic 57, 644-658 (1992; Zbl 0774.03015), and ibid. 58, 648-663 (1993; Zbl 0781.03016)]. The methods of these papers are extended to the uncountable case. The main result is the definition of a \(Q\)-isolated type for an arbitrary definable subset. This notion is absolute. For superstable theories the author gives sufficient conditions for the existence of \(Q\)-atomic models and proves results on weak categoricity over a predicate.

Recommendations

• scientific article; zbMATH DE number 57853
• scientific article; zbMATH DE number 1163948
• Uncountable categoricity for gross models
• \(\Sigma \)-definability of uncountable models of \(c\)-simple theories
• scientific article; zbMATH DE number 3885880

Cites work

• A model and its subset
• Classification theory and the number of non-isomorphic models
• Classification theory. Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago (Illinois), December 15-19, 1985
• Forking, normalization and canonical bases
• scientific article; zbMATH DE number 3467077 (Why is no real title available?)
• scientific article; zbMATH DE number 3399227 (Why is no real title available?)
• Large infinitary languages. Model theory
• Löwenheim-Skolem and interpolation theorems in infinitary languages
• Omega-categoricity, relative categoricity and coordinatisation
• Omitting types for stable ccc theories
• Proper forcing
• Scott analysis of pseudotypes

Cited in

(6)

• The model \(N=\cup \{L[A]:\) A countable set of ordinals\(\}\)
• A model of intuitionistic analysis in which -definable discrete sets are subcountable
• Scott analysis of pseudotypes
• scientific article; zbMATH DE number 4010502 (Why is no real title available?)
• scientific article; zbMATH DE number 4073949 (Why is no real title available?)
• scientific article; zbMATH DE number 57853 (Why is no real title available?)

This page was built for publication: A model and its subset: The uncountable case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1345008)