The theory of all substructures of a structure: Characterisation and decision problems

DOI10.2307/2273297MaRDI QIDQ3866077zbMATH OpenOpenAlexFDO

Authors Kenneth L. Manders

Publication date 1979

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

automorphism group of a structurecompletenessquantifier prefix classesrecursive theoriesrelational structuretheory of all substructures of a structureuniversal theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Models with special properties (saturated, rigid, etc.) (03C50) Ordered semigroups and monoids (06F05)

Cites work

• Hilbert's Tenth Problem is Unsolvable
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)

Cited in

(3)

• On JND representations of semiorders
• What do numbers measure? A new approach to fundamental measurement
• European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978

This page was built for publication: The theory of all substructures of a structure: Characterisation and decision problems

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