scientific article; zbMATH DE number 4061212

MaRDI QIDQ3795660zbMATH OpenFDO

Authors

Publication date 1987

zbMATH Keywords

partial isomorphismsprenex normal formChang-Kôs-Suszko-type theoremsmodel-theoretic characterizationsPappin projective planessyntactical form of first-order sentences

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• A property of sentences that define quasi-order
• scientific article; zbMATH DE number 1086487
• First order theories for partial models
• First-Order Formulas in Conjunctive Quantificational Form
• scientific article; zbMATH DE number 3884158

This page was built for publication:

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