Two applications of topology to model theory

DOI10.1016/j.apal.2020.102907zbMath1506.03082OpenAlexW3092919127MaRDI QIDQ2660154

Yanyan Li

Publication date: 29 March 2021

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

Full work available at URL: https://doi.org/10.1016/j.apal.2020.102907

zbMATH Keywords

countable compactnessmetastabilitypseudocompactnessBaire categoryomitting typestype-space functor

Mathematics Subject Classification ID

Baire category, Baire spaces (54E52) Convergence and divergence of series and sequences (40A05) Counterexamples in general topology (54G20) Applications of model theory (03C98) Other model constructions (03C30) Abstract model theory (03C95)

Cites Work

• Omitting types for infinitary \([0,1\)-valued logic]
• Topological games: on the 50th anniversary of the Banach-Mazur game
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Pseudocompact topological spaces. A survey of classic and new results with open problems
• Completely Baire spaces, Menger spaces, and projective sets
• Between Polish and completely Baire
• A \(C_p\)-theory problem book. Compactness in function spaces
• Omitting uncountable types and the strength of \([0,1\)-valued logics]
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Barely Baire spaces
• A topological application of flat morasses
• Topological Spaces That are α-Favorable for a Player with Perfect Information
• Omitting types in logic of metric structures
• Model Theory
• Expressive power of infinitary [0, 1-valued logics]
• Norm convergence of multiple ergodic averages for commuting transformations
• Categoricity in Power
• On Extensions of Elementary Logic
• The Product of Totally Nonmeagre Spaces
• Uncountable dense categoricity in cats
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item