Simple monadic theories and indiscernibles |
| |
Authors: | Achim Blumensath |
| |
Affiliation: | TU Darmstadt, Fachbereich Mathematik Schlo?gartenstra?e 7, D‐64289 Darmstadt, Germany |
| |
Abstract: | 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 (© 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| |
Keywords: | Monadic second‐order logic indiscernibles pairing function model theory |
|
|