The Model Completion of the Theory of All Partially Ordered Sets

DOI10.1002/MALQ.19890350602zbMath0661.03021OpenAlexW2008320635MaRDI QIDQ3809778

G. E. Puninskij

Publication date: 1989

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19890350602

zbMATH Keywords

finite axiomatization of existentially closed posetsfinitely axiomatizable \(\omega \) -categorical theories

Mathematics Subject Classification ID

Partial orders, general (06A06) Basic properties of first-order languages and structures (03C07) Categoricity and completeness of theories (03C35)

This page was built for publication: The Model Completion of the Theory of All Partially Ordered Sets