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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
