Simple monadic theories and indiscernibles

✍ Scribed by Achim Blumensath

• Publisher: John Wiley and Sons
• Year: 2011
• Tongue: English
• Weight: 228 KB
• Volume: 57
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200910121

✦ Synopsis

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.