Reduced direct products
From MaRDI portal
Publication:3843607
DOI10.4064/fm-51-3-195-228zbMath0108.00501OpenAlexW1756106495WikidataQ106362547 ScholiaQ106362547MaRDI QIDQ3843607
T. Frayne, Anne C. Morel, Dana S. Scott
Publication date: 1963
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213693
Related Items (59)
Varieties of algebraic systems and propositional calculi ⋮ Nonstandard arithmetic ⋮ Tame parts of free summands in coproducts of Priestley spaces ⋮ Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures ⋮ On Automorphisms of Polyadic Algebras ⋮ Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus ⋮ Iterated ultrapowers for the masses ⋮ On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ Modelltheoretische Untersuchungen in der Kripke-Semantik ⋮ Remarks on Limitultrapowers ⋮ Keisler's order via Boolean ultrapowers ⋮ On cardinalities of ultraproducts ⋮ On Criteria of Definability ⋮ On blocks in the products and ultraproducts of orthomodular lattices ⋮ Using ultrapowers to compare continuous structures ⋮ A Topological-algebraic Approach to the Compactness Theorem of Classical Logic ⋮ An Almost Everywhere Direct Power ⋮ A Note on a Theorem of B. H. Neumann and S. Yamamuro ⋮ Existence of optimal ultrafilters and the fundamental complexity of simple theories ⋮ Reduced Products and Horn Classes ⋮ Amalgamation of Polyadic Algebras ⋮ Large-\( N\) limits of spaces and structures ⋮ Nonassociative Boolean ring varieties ⋮ Non-standard concave utility functions ⋮ Elementary Statements Over Large Algebraic Fields ⋮ Infinitary Baker-Pixley theorem ⋮ Finite retracts of Priestley spaces and sectional coproductivity ⋮ Generators and commutators in finite groups; abstract quotients of compact groups. ⋮ Ultrafilters, finite coproducts and locally connected classifying toposes ⋮ Models of complete theories ⋮ Theories of initial segments of standard models of arithmetics and their complete extensions ⋮ On Horn theories ⋮ On the problem of imprecision ⋮ The partially ordered monoid generated by the operators \(H, S, P_{u}, P_{f}\) on classes of algebras ⋮ Polynomial time ultrapowers and the consistency of circuit lower bounds ⋮ Filter quotients and non-presentable \((\infty,1)\)-toposes ⋮ Cauchy and the continuum: the significance of non-standard analysis for the history and philosophy of mathematics ⋮ On ultrafilter extensions of first-order models and ultrafilter interpretations ⋮ On structures defined by mapping filters ⋮ On cardinalities of free algebras and ranks of operations ⋮ Ultrafilter Mappings and Their Dedekind Cuts ⋮ Limit Ultrapowers ⋮ Relation algebras and function semigroups ⋮ On \({\mathfrak S,A,m}\)-atomic compact relational systems ⋮ A note on the embedding property ⋮ Almost disjoint families and ultrapowers ⋮ For what filters is every reduced product saturated? ⋮ The Cardinality of Reduced Power Set Algebras ⋮ Some examples of ultraproducts ⋮ Algebraically closed algebras in certain small congruence distributive varieties ⋮ Reduced powers, ultrapowers and exactness of limits ⋮ Unnamed Item ⋮ Implicative classes of algebras ⋮ Σ‐algebraically compact modules and ‐compact cardinals ⋮ RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES ⋮ Boolean ultrapowers ⋮ Reduced products, Horn sentences, and decision problems ⋮ Partition Complete Boolean Algebras and Almost Compact Cardinals
This page was built for publication: Reduced direct products
