𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Theory of Superatomic Boolean Algebras in the Logic With the Binary Ramsey Quantifier

✍ Scribed by Burkhard Molzan

Publisher
John Wiley and Sons
Year
1982
Tongue
English
Weight
713 KB
Volume
28
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the Boolean algebras of definable set
On the Boolean algebras of definable sets in weakly o-minimal theories
✍ Stefano Leonesi; Carlo Toffalori πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 141 KB πŸ‘ 1 views

## Abstract We consider the sets definable in the countable models of a weakly o‐minimal theory __T__ of totally ordered structures. We investigate under which conditions their Boolean algebras are isomorphic (hence __T__ is p‐__Ο‰__‐categorical), in other words when each of these definable sets adm

Quantifier elimination for the theory of
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
✍ YalΔ±n F. Γ‡elikler πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 177 KB

## Abstract The theory of algebraically closed non‐Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz, and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this pape