Results 61 to 70 of about 109 (103)
Some of the next articles are maybe not open access.
Ultraproducts which are not saturated
Journal of Symbolic Logic, 1967In this paper we continue our study, begun in [5], of the connection between ultraproducts and saturated structures. IfDis an ultrafilter over a setI, andis a structure (i.e., a model for a first order predicate logicℒ), the ultrapower ofmoduloDis denoted byD-prod.
openaire +2 more sources
Journal of Symbolic Logic, 1967
It is shown in [1] that an ultraproduct of finite sets can be of arbitrarily large cardinality, but if it is infinite then it must have at least the power of the continuum. In this paper we shall take a closer look at the cardinality of ultraproducts of finite sets. Our results were announced without proof in [5].
openaire +1 more source
It is shown in [1] that an ultraproduct of finite sets can be of arbitrarily large cardinality, but if it is infinite then it must have at least the power of the continuum. In this paper we shall take a closer look at the cardinality of ultraproducts of finite sets. Our results were announced without proof in [5].
openaire +1 more source
Journal of Mathematical Economics, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lauwers, Luc, van Liedekerke, Luc
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lauwers, Luc, van Liedekerke, Luc
openaire +2 more sources
Probability Algebras and Ultraproducts
Lobachevskii Journal of MathematicszbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Publicationes Mathematicae Debrecen, 2005
Summary: \textit{P. Bankston} [General Topology Appl. 7, 283--308 (1977; Zbl 0364.54005)] investigated ultraproducts of topological spaces and asked when the quotient mapping \(q:\square X_{\alpha } \rightarrow \square_{{\mathcal U} } X_{\alpha } \) is closed.
openaire +1 more source
Summary: \textit{P. Bankston} [General Topology Appl. 7, 283--308 (1977; Zbl 0364.54005)] investigated ultraproducts of topological spaces and asked when the quotient mapping \(q:\square X_{\alpha } \rightarrow \square_{{\mathcal U} } X_{\alpha } \) is closed.
openaire +1 more source
Institution-independent ultraproducts.
Fundam. Informaticae, 2003Summary: We generalise the ultraproducts method from conventional model theory to an institution-independent (i.e., independent of the details of the actual logic formalised as an institution) framework based on a novel, very general treatment of the semantics of some important concepts in logic, such as quantification, logical connectives, and ground ...
openaire +2 more sources
General Topology and its Applications, 1977
We define a reduced product (in particular an ultraproduct) construction in topology which yields a class of quotients of the box product. Retention of certain properties under the formation of ultraproducts, as well as the role of ultraproducts in the study of zero dimensional spaces are investigated.
openaire +2 more sources
We define a reduced product (in particular an ultraproduct) construction in topology which yields a class of quotients of the box product. Retention of certain properties under the formation of ultraproducts, as well as the role of ultraproducts in the study of zero dimensional spaces are investigated.
openaire +2 more sources
1977
Publisher Summary The ultraproduct construction is an algebraic operation whose importance derives from its model-theoretic properties. The algebraic character of the construction makes it attractive tool to employ in giving an account of applications of model theory to algebra.
openaire +1 more source
Publisher Summary The ultraproduct construction is an algebraic operation whose importance derives from its model-theoretic properties. The algebraic character of the construction makes it attractive tool to employ in giving an account of applications of model theory to algebra.
openaire +1 more source
Ultrafilters and ultraproducts
1973The topics of this thesis are properties that distinguish between the 22Xo isomorphism-classes (called types) of non-principal ultrafilters on o. In particular we investigate various orders on ultrafilters. The Rudin-Frolik order is a topologically invariant order on types; it had been shown that there are types with 2X o predecessors in this order ...
openaire +2 more sources