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

Distinct Indiscernibles and the Bundle Theory

โœ Scribed by Dean W. Zimmerman


Book ID
111980627
Publisher
Oxford University Press
Year
1997
Tongue
English
Weight
565 KB
Volume
106
Category
Article
ISSN
0026-4423

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Simple monadic theories and indiscernibl
โœ Achim Blumensath ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 228 KB

Aiming for applications in monadic second-order model theory, we study first-order theories without definable pairing functions. Our main results concern forking-properties of sequences of indiscernibles. These turn out to be very well-behaved for the theories under consideration.