Abstract:
Under a natural definition of the properties indicated in the title, we prove the undecidability of any such properties in the case of sufficiently powerful elementary theories.
In terms of invariant properties we shall formulate a general proposition which has as corollaries various results about realizable and deductively valid disjunctions of predicate formulas.
Fulltext:
PDF file (1507 kB)
