๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Finite axiomatizations for existentially closed posets and semilattices

โœ Scribed by Michael H. Albert; Stanley N. Burris

Publisher
Springer Netherlands
Year
1986
Tongue
English
Weight
460 KB
Volume
3
Category
Article
ISSN
0167-8094

No coin nor oath required. For personal study only.

โœฆ Synopsis

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 any locally finite universal class with a finite language and with the joint embedding and amalgamation properties. We then find particular finite subsets of these axioms which suffice to axiomatize both classes.

๐Ÿ“œ SIMILAR VOLUMES

An axiomatization of the core for finite
An axiomatization of the core for finite and continuum games
โœ Eyal Winter; Myrna Holtz Wooders ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Springer ๐ŸŒ English โš– 674 KB

We provide a new axiomatization of the core of games in characteristic form. The games may have either finite sets of players or continuum sets of players and finite coalitions. Our research is based on Peleg's axiomatization for finite games and on the notions of measurement-consistent partitions a