Finite axiomatizations for existentially
β
Michael H. Albert; Stanley N. Burris
π
Article
π
1986
π
Springer Netherlands
π
English
β 460 KB
In this paper we exhibit axiomatizations for the theories of existentially closed posets and existentially closed semilattices. We do this by considering an infinite axiomatization which characterizes these structures in terms of embeddings of finite substructures, an axiomatization which exists for