Finite axiomatizability and theories with trivial algebraic closure

DOI10.1305/ndjfl/1093635744zbMath0746.03022OpenAlexW2033619719WikidataQ61848379 ScholiaQ61848379MaRDI QIDQ1183711

Dugald Macpherson

Publication date: 28 June 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635744

zbMATH Keywords

complete theorystrict order propertytheory of an indiscernible settrivial algebraic closure

Mathematics Subject Classification ID

Set theory (03E99) Categoricity and completeness of theories (03C35)

Related Items (5)

On first-order sentences without finite models ⋮ Finitely axiomatizable ω-categorical theories and the Mazoyer hypothesis ⋮ A survey of homogeneous structures ⋮ Strongly determined types ⋮ Deciding simple infinity axiom sets with one binary relation by means of superpostulates

This page was built for publication: Finite axiomatizability and theories with trivial algebraic closure