Modeloids. I

DOI10.2307/1998979MaRDI QIDQ4194949zbMATH OpenOpenAlexFDO

Authors Miroslav Benda

Publication date 1979

Full work available at URL https://doi.org/10.2307/1998979

zbMATH Keywords

Axiomatic Model ClassesEquivalenceFree SemigroupModel TheoryModeloidNormal Subgroups Of Symmetric Groups

Mathematics Subject Classification ID

Model theory (03C99) Axiomatic model classes (08C10) Subgroups of symmetric groups (20B35) Free semigroups, generators and relations, word problems (20M05)

Cites work

• An application of games to the completeness problem for formalized theories
• Construction of models from groups of permutations
• scientific article; zbMATH DE number 3308075 (Why is no real title available?)
• scientific article; zbMATH DE number 3382339 (Why is no real title available?)
• scientific article; zbMATH DE number 3399227 (Why is no real title available?)
• scientific article; zbMATH DE number 3190329 (Why is no real title available?)
• Model theory
• On Borel measurability of orbits
• Reduced products and nonstandard logics
• The syntax and semantics of infinitary languages

Cited in

(2)

• Computer-supported exploration of a categorical axiomatization of modeloids
• Introduction to inverse semigroups

This page was built for publication: Modeloids. I

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