reduced ultraproduct

Игры ⚽ Поможем написать курсовую

Reduced product — In model theory, a branch of mathematical logic, the reduced product is a construction that generalizes both direct product and ultraproduct.A reduced product of a family of objects is the direct product of the family modulo a filter. The filter… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Reduction — Reduction, reduced, or reduce may refer to:cienceChemistry*Reduction – chemical reaction in which atoms have their oxidation number (oxidation state) changed. **Reduced gas – a gas with a low oxidation number **Ore reduction: see… … Wikipedia
Pseudoelementary class — In logic, a pseudoelementary class is a class of structures derived from an elementary class (one definable in first order logic) by omitting some of its sorts and relations. It is the mathematical logic counterpart of the notion in category… … Wikipedia
Quasivariety — A quasivariety is a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class. TOC DefinitionIn mathematics, a quasivariety is a class K of algebras with a specified… … Wikipedia

Словари и энциклопедии на Академике