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

DOI10.2307/2273297zbMath0429.03007OpenAlexW2066612022MaRDI QIDQ3866077

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

completenessrelational structureuniversal theoryquantifier prefix classesautomorphism group of a structurerecursive theoriestheory of all substructures of a structure

Mathematics Subject Classification ID

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

Related Items (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

Cites Work

• Hilbert's Tenth Problem is Unsolvable
• Unnamed Item

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