{"history":[],"article":{"id":"ae036dd9-9591-4601-9d4a-7fc816e3c731","title":"Pseudoelementary class","slug":"pseudoelementary-class","content":":::summary\n:::\n\n# \nIn [logic](https://bliptext.com/articles/logic), a **pseudo[elementary class](https://bliptext.com/articles/elementary-class)** is a class of [structures](https://bliptext.com/articles/structure-mathematical-logic) derived from an [elementary class](https://bliptext.com/articles/elementary-class) (one definable in first-order [logic](https://bliptext.com/articles/logic)) by omitting some of its sorts and relations.\nIt is the [mathematical logic](https://bliptext.com/articles/mathematical-logic) counterpart of the notion in [category theory](https://bliptext.com/articles/category-theory) of (the [codomain](https://bliptext.com/articles/codomain) of) a [forgetful functor](https://bliptext.com/articles/forgetful-functor), and in [physics](https://bliptext.com/articles/physics) of (hypothesized) [hidden variable](https://bliptext.com/articles/hidden-variable-theory) theories purporting to explain [quantum mechanics](https://bliptext.com/articles/quantum-mechanics).\nElementary classes are (vacuously) pseudoelementary but the converse is not always true; nevertheless pseudoelementary classes share some of the properties of elementary classes such as being closed under [ultraproducts](https://bliptext.com/articles/ultraproduct).\n\n# Definition\nA **pseudo[elementary class](https://bliptext.com/articles/elementary-class)** is a [reduct](https://bliptext.com/articles/reduct) of an [elementary class](https://bliptext.com/articles/elementary-class).\nThat is, it is obtained by omitting some of the sorts and relations of a (many-sorted) elementary class.\n\n# Examples\n

The theory with equality of sets under union and intersection, whose structures are of the form (W, ∪, ∩), can be understood [naively](https://bliptext.com/articles/naive-set-theory) as the pseudoelementary class formed from the two-sorted elementary class of structures of the form (A, W, ∪, ∩, ∈) where ∈ ⊆ A×W and ∪ and ∩ are binary operations (qua ternary relations) on W.\nThe theory of the latter class is axiomatized by\nIn the intended interpretation A is a set of atoms a,b,..., W is a set of sets of atoms X,Y,... and ∈ is the membership relation between atoms and sets.\nThe consequences of these axioms include all the laws of [distributive lattices](https://bliptext.com/articles/distributive-lattice).\nSince the latter laws make no mention of atoms they remain meaningful for the structures obtained from the models of the above theory by omitting the sort A of atoms and the membership relation ∈.\nAll distributive lattices are representable as sets of sets under union and intersection, whence this pseudoelementary class is in fact an elementary class, namely the [variety](https://bliptext.com/articles/variety-universal-algebra) of distributive lattices.\nIn this example both classes (respectively before and after the omission) are finitely axiomatizable elementary classes.\nBut whereas the standard approach to axiomatizing the latter class uses nine equations to axiomatize a distributive lattice, the former class only requires the three axioms above, making it faster to define the latter class as a reduct of the former than directly in the usual way.
The theory with equality of binary relations under union R∪S, intersection R∩S, complement R−, relational composition R;S, and relational converse R\\breve{\\ }, whose structures are of the form (W, ∪, ∩, −, ;, \\breve{\\ }), can be understood as the pseudoelementary class formed from the three-sorted elementary class of structures of the form (A, P, W, ∪, ∩, −, ;, \\breve{\\ }, λ, ρ, π, ∈).\nThe intended interpretation of the three sorts are atoms, pairs of atoms, and sets of pairs of atoms, π: A×;A → P and λ,ρ: P → A are the evident pairing constructors and destructors, and ∈ ⊆ P×;W is the membership relation between pairs and relations (as sets of pairs).\nBy analogy with Example 1, the purely relational connectives defined on W can be axiomatized naively in terms of atoms and pairs of atoms in the customary manner of introductory texts.\nThe pure theory of binary relations can then be obtained as the theory of the pseudoelementary class of reducts of models of this elementary class obtained by omitting the atom and pair sorts and all relations involving the omitted sorts.\nIn this example both classes are elementary, but only the former class is finitely axiomatizable, though the latter class (the reduct) was shown by [Tarski](https://bliptext.com/articles/alfred-tarski) in 1955 to be nevertheless a [variety](https://bliptext.com/articles/variety-universal-algebra), namely **RRA**, the representable [relation algebras](https://bliptext.com/articles/relation-algebra).
A [primitive ring](https://bliptext.com/articles/primitive-ring) is a generalization of the notion of [simple ring](https://bliptext.com/articles/simple-ring).\nIt is definable in elementary (first-order) language in terms of the elements and ideals of a ring, giving rise to an elementary class of two-sorted structures comprising rings and ideals.\nThe class of primitive rings is obtained from this elementary class by omitting the sorts and language associated with the ideals, and is hence a pseudoelementary class.\nIn this example it is an open question whether this pseudoelementary class is elementary.
The class of [exponentially closed fields](https://bliptext.com/articles/exponentially-closed-field) is a pseudoelementary class that is not elementary.

\n\n# Applications\nA [quasivariety](https://bliptext.com/articles/quasivariety) defined logically as the class of models of a [universal Horn theory](https://bliptext.com/articles/universal-horn-theory) can equivalently be defined algebraically as a class of structures closed under [isomorphisms](https://bliptext.com/articles/isomorphism), [subalgebras](https://bliptext.com/articles/subalgebra), and [reduced products](https://bliptext.com/articles/reduced-product).\nSince the notion of reduced product is more intricate than that of [direct product](https://bliptext.com/articles/direct-product), it is sometimes useful to blend the logical and algebraic characterizations in terms of pseudoelementary classes.\nOne such blended definition characterizes a quasivariety as a pseudoelementary class closed under isomorphisms, subalgebras, and direct products (the pseudoelementary property allows \"reduced\" to be simplified to \"direct\").\nA corollary of this characterization is that one can (nonconstructively) prove the existence of a universal Horn axiomatization of a class by first axiomatizing some expansion of the structure with auxiliary sorts and relations and then showing that the pseudoelementary class obtained by dropping the auxiliary constructs is closed under subalgebras and direct products.\nThis technique works for Example 2 because subalgebras and direct products of algebras of binary relations are themselves algebras of binary relations, showing that the class **RRA** of representable [relation algebras](https://bliptext.com/articles/relation-algebra) is a quasivariety (and a fortiori an elementary class).\nThis short proof is an effective application of [abstract nonsense](https://bliptext.com/articles/abstract-nonsense); the stronger result by Tarski that **RRA** is in fact a variety required more honest toil.","current_revision":null,"created_by":"kACnuQmH5k9Nr5VNVEpVeg7XpvUmMctD","created_at":"2025-01-26T09:55:51.983Z","updated_at":"2025-01-26T09:55:51.983Z","search_vector":"'class':2 'pseudoelementari':1","search_content":" \n \n\n# \nIn [logic](https://bliptext.com/articles/logic), a **pseudo[elementary class](https://bliptext.com/articles/elementary-class)** is a class of [structures](https://bliptext.com/articles/structure-mathematical-logic) derived from an [elementary class](https://bliptext.com/articles/elementary-class) (one definable in first-order [logic](https://bliptext.com/articles/logic)) by omitting some of its sorts and relations.\nIt is the [mathematical logic](https://bliptext.com/articles/mathematical-logic) counterpart of the notion in [category theory](https://bliptext.com/articles/category-theory) of (the [codomain](https://bliptext.com/articles/codomain) of) a [forgetful functor](https://bliptext.com/articles/forgetful-functor), and in [physics](https://bliptext.com/articles/physics) of (hypothesized) [hidden variable](https://bliptext.com/articles/hidden-variable-theory) theories purporting to explain [quantum mechanics](https://bliptext.com/articles/quantum-mechanics).\nElementary classes are (vacuously) pseudoelementary but the converse is not always true; nevertheless pseudoelementary classes share some of the properties of elementary classes such as being closed under [ultraproducts](https://bliptext.com/articles/ultraproduct).\n\n# Definition\nA **pseudo[elementary class](https://bliptext.com/articles/elementary-class)** is a [reduct](https://bliptext.com/articles/reduct) of an [elementary class](https://bliptext.com/articles/elementary-class).\nThat is, it is obtained by omitting some of the sorts and relations of a (many-sorted) elementary class.\n\n# Examples\n \n The theory with equality of sets under union and intersection, whose structures are of the form (W, ∪, ∩), can be understood [naively](https://bliptext.com/articles/naive-set-theory) as the pseudoelementary class formed from the two-sorted elementary class of structures of the form (A, W, ∪, ∩, ∈) where ∈ ⊆ A×W and ∪ and ∩ are binary operations (qua ternary relations) on W.\nThe theory of the latter class is axiomatized by\nIn the intended interpretation A is a set of atoms a,b,..., W is a set of sets of atoms X,Y,... and ∈ is the membership relation between atoms and sets.\nThe consequences of these axioms include all the laws of [distributive lattices](https://bliptext.com/articles/distributive-lattice).\nSince the latter laws make no mention of atoms they remain meaningful for the structures obtained from the models of the above theory by omitting the sort A of atoms and the membership relation ∈.\nAll distributive lattices are representable as sets of sets under union and intersection, whence this pseudoelementary class is in fact an elementary class, namely the [variety](https://bliptext.com/articles/variety-universal-algebra) of distributive lattices.\nIn this example both classes (respectively before and after the omission) are finitely axiomatizable elementary classes.\nBut whereas the standard approach to axiomatizing the latter class uses nine equations to axiomatize a distributive lattice, the former class only requires the three axioms above, making it faster to define the latter class as a reduct of the former than directly in the usual way. \n The theory with equality of binary relations under union R∪S, intersection R∩S, complement R−, relational composition R;S, and relational converse R\\breve{\\ }, whose structures are of the form (W, ∪, ∩, −, ;, \\breve{\\ }), can be understood as the pseudoelementary class formed from the three-sorted elementary class of structures of the form (A, P, W, ∪, ∩, −, ;, \\breve{\\ }, λ, ρ, π, ∈).\nThe intended interpretation of the three sorts are atoms, pairs of atoms, and sets of pairs of atoms, π: A×;A → P and λ,ρ: P → A are the evident pairing constructors and destructors, and ∈ ⊆ P×;W is the membership relation between pairs and relations (as sets of pairs).\nBy analogy with Example 1, the purely relational connectives defined on W can be axiomatized naively in terms of atoms and pairs of atoms in the customary manner of introductory texts.\nThe pure theory of binary relations can then be obtained as the theory of the pseudoelementary class of reducts of models of this elementary class obtained by omitting the atom and pair sorts and all relations involving the omitted sorts.\nIn this example both classes are elementary, but only the former class is finitely axiomatizable, though the latter class (the reduct) was shown by [Tarski](https://bliptext.com/articles/alfred-tarski) in 1955 to be nevertheless a [variety](https://bliptext.com/articles/variety-universal-algebra), namely **RRA**, the representable [relation algebras](https://bliptext.com/articles/relation-algebra). \n A [primitive ring](https://bliptext.com/articles/primitive-ring) is a generalization of the notion of [simple ring](https://bliptext.com/articles/simple-ring).\nIt is definable in elementary (first-order) language in terms of the elements and ideals of a ring, giving rise to an elementary class of two-sorted structures comprising rings and ideals.\nThe class of primitive rings is obtained from this elementary class by omitting the sorts and language associated with the ideals, and is hence a pseudoelementary class.\nIn this example it is an open question whether this pseudoelementary class is elementary. \n The class of [exponentially closed fields](https://bliptext.com/articles/exponentially-closed-field) is a pseudoelementary class that is not elementary. \n \n\n# Applications\nA [quasivariety](https://bliptext.com/articles/quasivariety) defined logically as the class of models of a [universal Horn theory](https://bliptext.com/articles/universal-horn-theory) can equivalently be defined algebraically as a class of structures closed under [isomorphisms](https://bliptext.com/articles/isomorphism), [subalgebras](https://bliptext.com/articles/subalgebra), and [reduced products](https://bliptext.com/articles/reduced-product).\nSince the notion of reduced product is more intricate than that of [direct product](https://bliptext.com/articles/direct-product), it is sometimes useful to blend the logical and algebraic characterizations in terms of pseudoelementary classes.\nOne such blended definition characterizes a quasivariety as a pseudoelementary class closed under isomorphisms, subalgebras, and direct products (the pseudoelementary property allows \"reduced\" to be simplified to \"direct\").\nA corollary of this characterization is that one can (nonconstructively) prove the existence of a universal Horn axiomatization of a class by first axiomatizing some expansion of the structure with auxiliary sorts and relations and then showing that the pseudoelementary class obtained by dropping the auxiliary constructs is closed under subalgebras and direct products.\nThis technique works for Example 2 because subalgebras and direct products of algebras of binary relations are themselves algebras of binary relations, showing that the class **RRA** of representable [relation algebras](https://bliptext.com/articles/relation-algebra) is a quasivariety (and a fortiori an elementary class).\nThis short proof is an effective application of [abstract nonsense](https://bliptext.com/articles/abstract-nonsense); the stronger result by Tarski that **RRA** is in fact a variety required more honest toil.","revisionCount":0},"hasMore":false,"nextCursor":null}

History