Dense codense predicates and the NTP 2
We show that if T is any geometric theory having the NTP 2 then the corresponding theories of lovely pairs of models of T and of H ‐structures associated to T also have the NTP 2 . We also prove that if T is strong then the same two expansions of T are also strong.
Saved in:
| Published in | Mathematical logic quarterly Vol. 62; no. 1-2; pp. 16 - 24 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
01.02.2016
|
| Online Access | Get full text |
Cover
Loading…
| Summary: | We show that if
T
is any geometric theory having the NTP
2
then the corresponding theories of lovely pairs of models of
T
and of
H
‐structures associated to
T
also have the NTP
2
. We also prove that if
T
is strong then the same two expansions of
T
are also strong. |
|---|---|
| ISSN: | 0942-5616 1521-3870 |
| DOI: | 10.1002/malq.201400056 |