Questions tagged [witness-property]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
2 answers
104 views

Definition of witness property in Marker's "Model theory - An introduction"

In David Marker's "Model theory - An introduction" he defines the witness property in the context of Henkin constructions as: In the Erratum he says that in this definition, it should have ...
Eduardo Magalhães's user avatar