On ultrafilter extensions of first-order models and ultrafilter interpretations

DOI10.1007/s00153-021-00783-6OpenAlexW3176988978MaRDI QIDQ2042734

Denis I. Saveliev, Nikolai L. Poliakov

Publication date: 21 July 2021

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

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

zbMATH Keywords

homomorphismultrafilterextension theoremfirst-order modeltopological modelultrafilter extensionregular closed setlargest compactificationlimit of ultrafilterrestricted pointwise convergence topologyright closed relationright continuous mapright open relationultrafilter interpretationultrafilter modelultrafilter quantifier

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Topological characterizations of particular spaces (54F65) Weak and generalized continuity (54C08) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Retraction (54C15) Subspaces in general topology (54B05) Product spaces in general topology (54B10) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Proximity structures and generalizations (54E05) Logic with extra quantifiers and operators (03C80) Extension of maps (54C20) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80) Topology of special sets defined by functions (54C50) Set-theoretic model theory (03C55) Topological representations of algebraic systems (54H10) Other model constructions (03C30)

Related Items

On the canonical Ramsey theorem of Erdős and Rado and Ramsey ultrafilters

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topological properties of some algebraically defined subsets of \(\beta \mathbb{N}\)
• Algebra in the Stone-Čech compactification. Theory and applications
• Distral transformation groups
• Notes on modal definability
• Model theory
• Ramsey properties of nonlinear Diophantine equations
• On two concepts of ultrafilter extensions of first-order models and their generalizations
• Sets and mappings in \(\beta S\) which are not Borel
• Ultrafilter extensions of linearly ordered sets.
• There are just four second-order quantifiers
• Ultraproducts in the theory of models
• Varieties of complex algebras
• Ultrafilter Extensions of Models
• Reduced direct products
• Canonical modal logics and ultrafilter extensions
• Ultrafilter extensions do not preserve elementary equivalence
• Algebraic semantics for modal logics I
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators