Axiomatizability and model completeness of the class of regular polygons

DOI10.1007/BF02104943zbMATH Open0833.03011OpenAlexW2046838141MaRDI QIDQ1897976FDOQ1897976

Authors: 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

Recommendations

• scientific article; zbMATH DE number 2203308
• Axiomatizability and completeness of some classes of \(S\)-polygons
• scientific article; zbMATH DE number 1899887
• Regular polygons with primitive connected theories
• scientific article; zbMATH DE number 2007872

zbMATH Keywords

algebraic systemmonoidaxiomatizabilitymodel completenessregular polygons

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reduction of nonholonomic variation problems to isoperimetric ones and connections in principal bundles
• On a constrained variational problem and the space of horizontal paths

Cited In (15)

• Complete classes of regular polygons with finitely many idempotents
• Axiomatizability of the class of subdirectly irreducible acts over an abelian group
• Regular polygons with primitive connected theories
• A note on the model theory of generalized polygons
• Title not available (Why is that?)
• Axiomatizability of the class of subdirectly irreducible \(S\)-acts over a commutative monoid
• Title not available (Why is that?)
• Axiomatizability and completeness of some classes of \(S\)-polygons
• Regular \(S\)-acts with primitive normal and antiadditive theories
• Axiomatizability of the class of weakly injective \(S\)-acts
• On regular partially ordered polygons
• Title not available (Why is that?)
• Explicit solutions for a series of optimization problems with 2-dimensional control via convex trigonometry
• Axiomatizability and completeness of the class of injective acts over a commutative monoid or a group
• A monoid over which the class of regular polygons is complete is not model complete.

This page was built for publication: Axiomatizability and model completeness of the class of regular polygons

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1897976)