Results 51 to 60 of about 109 (103)
The structure of ultraproducts of abelian groups [PDF]
Pacific Journal of Mathematics, 1973 openaire +2 more sources
On cardinalities of ultraproducts [PDF]
Bulletin of the American Mathematical Society, 1964 openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Journal of Symbolic Logic, 1965
This paper is a sequel to our earlier paper, “Limit Ultrapowers”, [6]. In that paper we introduced the limit ultrapower construction and proved that is isomorphic to a limit ultrapower of if and only if every PCΔ class which contains also contains .
openaire +2 more sources
This paper is a sequel to our earlier paper, “Limit Ultrapowers”, [6]. In that paper we introduced the limit ultrapower construction and proved that is isomorphic to a limit ultrapower of if and only if every PCΔ class which contains also contains .
openaire +2 more sources
Quantified universes and ultraproducts
Mathematical Logic Quarterly, 2011AbstractA quantified universe is a set M equipped with a Riesz space \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathcal {A}_n$\end{document} of real functions on Mn, for each n, and a second order operation \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$I:\mathcal {A}\rightarrow \mathbb R$
Alireza Mofidi, Seyed-Mohammad Bagheri
openaire +2 more sources
Ultraproducts and Chevalley groups
Archive for Mathematical Logic, 1999Given a simple non-trivial finite-dimensional Lie algebra \(L\), fields \(K_i\) and Chevalley groups \(L(K_i)\), we first prove that \(\prod_{\mathcal U}L(K_i)\) is isomorphic to \(L(\prod_{\mathcal U} K_i)\). Then we consider the case of Chevalley groups of twisted type \({}^nL\). We obtain a result analogous to the previous one. Given perfect fields \
openaire +1 more source
Ultraproducts in the Theory of Models
The Annals of Mathematics, 1961In this paper we shall study an algebraic construction which has become a powerful new tool in the theory of models.1 This construction, called the ultraproduct operation', was first described in Los [20] under the name "champ logique," where its characteristic property of yielding elementary extensions of a given relational system was stated.
openaire +2 more sources
2020
The goal of this chapter is to show that every consistent L-theory has a model, no matter whether the signature L is countable or uncountable.
Lorenz Halbeisen, Regula Krapf
openaire +1 more source
The goal of this chapter is to show that every consistent L-theory has a model, no matter whether the signature L is countable or uncountable.
Lorenz Halbeisen, Regula Krapf
openaire +1 more source
Complete Boolean ultraproducts
Journal of Symbolic Logic, 1987Throughout this paper, B will always be a Boolean algebra and Γ an ultrafilter on B. We use + and Σ for the Boolean join operation and · and Π for the Boolean meet.κ is always a regular cardinal. C(κ) is the full structure of κ, the structure with universe κ and whose functions and relations consist of all unitary functions and relations on κ.
openaire +1 more source