Access the full text.
Sign up today, get DeepDyve free for 14 days.
J. Pym (1999)
Algebra in the Stone-Čech Compactification by Neil Hindman and Dona StraussSemigroup Forum, 59
EJ Lemmon (1966)
Algebraic semantics for modal logic. Part IIJ. Symb. Logic, 31
R. Goldblatt (1989)
Varieties of Complex AlgebrasAnn. Pure Appl. Log., 44
R. Ellis (1958)
Distal transformation groups.Pacific Journal of Mathematics, 8
J. Barwise, S. Feferman (2016)
Model-Theoretic Logics
E Čech (1937)
On bicompact spacesAnn. Math., 38
S. Kochen (1961)
Ultraproducts in the Theory of ModelsAnnals of Mathematics, 74
T. Frayne, A. Morel, D. Scott (1962)
Reduced Direct ProductsFundamenta Mathematicae, 51
D. Saveliev, S. Shelah (2017)
Ultrafilter extensions do not preserve elementary equivalenceMathematical Logic Quarterly, 65
D. Saveliev (2015)
Ultrafilter Extensions of Linearly Ordered SetsOrder, 32
E. Čech (1937)
On Bicompact SpacesAnnals of Mathematics, 38
q in the narrow sense, we let IpAq " pβ βX
R. Ellis (1969)
Lectures in Topological Dynamics
E. Lemmon, D. Scott, K. Segerberg (1977)
An Introduction to Modal Logic
J. Benthem (1988)
Notes on Modal DefinabilityNotre Dame J. Formal Log., 30
Chen Chang, H. Keisler (1966)
Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics
(2008)
On Hindman sets
(2017)
LLIC, Lecture Notes in Computer Science
N Hindman, D Strauss (2018)
Sets and mapping in βS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec {\beta }}S$$\end{document} which are not BorelN. Y. J. Math., 24
D. Saveliev (2011)
Ultrafilter Extensions of Models
R. Goldblatt, S. Thomason (1975)
AXIOMATIC CLASSES IN PROPOSITIONAL MODAL LOGIC
M. Nasso, Lorenzo Baglini (2016)
Ramsey properties of nonlinear Diophantine equationsarXiv: Combinatorics
In the next two problems, we wonder about variants of the definition of the satisfiability in ultrafilter models in the narrow sense
B. Jónsson, A. Tarski (1951)
Boolean Algebras with Operators. Part IAmerican Journal of Mathematics, 73
N. Hindman, D. Strauss (2018)
Sets and mappings in βS which are not Borel
W. Comfort, S. Negrepontis (1974)
The Theory of Ultrafilters
A. Kanamori (2005)
The higher infinite : large cardinals in set theory from their beginnings
P. Blackburn, M. Rijke, Y. Venema (2001)
Modal Logic, 53
B. Jonnson, A. Tarski (1952)
Boolean Algebras with OperatorsAmerican Journal of Mathematics, 74
M. Stone (1937)
Applications of the theory of Boolean rings to general topologyTransactions of the American Mathematical Society, 41
β βX n , Y q (or moreover, the space Y β βX 1ˆ. ..ˆβ βXn ) endowed with the full pointwise convergence topology? i.e. given discrete spaces X 1
N. Hindman, D. Strauss (2017)
Topological properties of some algebraically defined subsets of βNTopology and its Applications, 220
J. Baker (1990)
ANALYSIS ON SEMIGROUPSBulletin of The London Mathematical Society, 22
S. Shelah (1973)
There are just four second-order quantifiersIsrael Journal of Mathematics, 15
Y. Venema (1999)
Model definability, purely modal
V. Goranko (2010)
Filter and Ultrafilter Extensions of Structures : Universal-algebraic Aspects
(2014)
On idempotents in compact left topological universal algebras
E. Lemmon (1966)
Algebraic semantics for modal logics IJournal of Symbolic Logic, 31
N. Poliakov, D. Saveliev (2017)
On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations
H. Wallman (1938)
Lattices and Topological SpacesAnnals of Mathematics, 39
D. Saveliev (2020)
On two types of ultrafilter extensions of binary relations.arXiv: General Topology
T. Frayne, A. Morel, D. Scott (1964)
Correction to the paper "Reduced direct products"Fundamenta Mathematicae, 53
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations
J. Benthem (1979)
Canonical Modal Logics and Ultrafilter ExtensionsJ. Symb. Log., 44
Jesper Møller (2008)
General Topology
There exist two known types of ultrafilter extensions of first-order models, both in a certain sense canonical. One of them (Goranko in Filter and ultrafilter extensions of structures: universal-algebraic aspects, preprint, 2007) comes from modal logic and universal algebra, and in fact goes back to Jónsson and Tarski (Am J Math 73(4):891–939, 1951; 74(1):127–162, 1952). Another one (Saveliev in Lect Notes Comput Sci 6521:162–177, 2011; Saveliev in: Friedman, Koerwien, Müller (eds) The infinity project proceeding, Barcelona, 2012) comes from model theory and algebra of ultrafilters, with ultrafilter extensions of semigroups (Hindman and Strauss in Algebra in the Stone–Čech Compactification, W. de Gruyter, Berlin, 2012) as its main precursor. By a classical fact of general topology, the space of ultrafilters over a discrete space is its largest compactification. The main result of Saveliev (Lect Notes Comput Sci 6521:162–177, 2011; in: Friedman, Koerwien, Müller (eds) The infinity project proceeding, Barcelona, 2012), which confirms a canonicity of this extension, generalizes this fact to discrete spaces endowed with an arbitrary first-order structure. An analogous result for the former type of ultrafilter extensions was obtained in Saveliev (in On two types of ultrafilter extensions of binary relations. arXiv:2001.02456). Results of such kind are referred to as extension theorems. After a brief introduction, we offer a uniform approach to both types of extensions based on the idea to extend the extension procedure itself. We propose a generalization of the standard concept of first-order interpretations in which functional and relational symbols are interpreted rather by ultrafilters over sets of functions and relations than by functions and relations themselves, and define ultrafilter models with an appropriate semantics for them. We provide two specific operations which turn ultrafilter models into ordinary models, establish necessary and sufficient conditions under which the latter are the two canonical ultrafilter extensions of some ordinary models, and obtain a topological characterization of ultrafilter models. We generalize a restricted version of the extension theorem to ultrafilter models. To formulate the full version, we propose a wider concept of ultrafilter models with their semantics based on limits of ultrafilters, and show that the former concept can be identified, in a certain way, with a particular case of the latter; moreover, the new concept absorbs the ordinary concept of models. We provide two more specific operations which turn ultrafilter models in the narrow sense into ones in the wide sense, and establish necessary and sufficient conditions under which ultrafilter models in the wide sense are the images of ones in the narrow sense under these operations, and also are two canonical ultrafilter extensions of some ordinary models. Finally, we establish three full versions of the extension theorem for ultrafilter models in the wide sense. The results of the first three sections of this paper were partially announced in Poliakov and Saveliev (in: Kennedy, de Queiroz (eds) On two concepts of ultrafilter extensions of first-order models and their generalizations, Springer, Berlin, 2017).
Archive for Mathematical Logic – Springer Journals
Published: Jun 22, 2021
Keywords: Ultrafilter; Ultrafilter quantifier; Ultrafilter extension; Ultrafilter interpretation; First-order model; Ultrafilter model; Topological model; Largest compactification; Right continuous map; Right open relation; Right closed relation; Regular closed set; Limit of ultrafilter; Restricted pointwise convergence topology; Homomorphism; Extension theorem; Primary: 03C55; 54C08; 54C20; 54D35; 54D80; Secondary: 03C30; 03C80; 54A20; 54B05; 54B10; 54B20; 54C10; 54C15; 54C20; 54C50; 54F65; 54E05; 54H10
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.