Axiomatizability and model completeness of the class of regular polygons

DOI10.1007/BF02104943zbMath0833.03011OpenAlexW2046838141MaRDI QIDQ1897976

Alena Andreevna Stepanova

Publication date: 20 September 1995

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02104943

zbMATH Keywords

axiomatizabilityalgebraic systemmonoidmodel completenessregular polygons

Mathematics Subject Classification ID

Axiomatic model classes (08C10) Categoricity and completeness of theories (03C35)

Related Items

Axiomatizability of the class of subdirectly irreducible acts over an abelian group ⋮ Complete classes of regular polygons with finitely many idempotents ⋮ Axiomatizability of the class of weakly injective \(S\)-acts ⋮ Regular \(S\)-acts with primitive normal and antiadditive theories ⋮ Regular polygons with primitive connected theories ⋮ Axiomatizability of the class of subdirectly irreducible \(S\)-acts over a commutative monoid ⋮ Axiomatizability and completeness of the class of injective acts over a commutative monoid or a group ⋮ Explicit solutions for a series of optimization problems with 2-dimensional control via convex trigonometry ⋮ A monoid over which the class of regular polygons is complete is not model complete.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On a constrained variational problem and the space of horizontal paths
• Reduction of nonholonomic variation problems to isoperimetric ones and connections in principal bundles