We show that there is a complete, consistent Borel theory which has no "Borel model" in the following strong sense: There is no structure satisfying the theory ...

We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory ...

Abstract. We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure ...

Abstract. We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure.

We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the ...

PDF | We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure.

Jan 19, 2012 · ▷ We consider the interplay of Borel theories and Borel structures, and show that the completeness theorem from logic fails in the. Borel ...

Jan 28, 2010 · Borel structures are very appropriate to model logics that use these quantifiers.

We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the ...

Borel structures were introduced by H. Friedman in 1978. He proved among other things that each countable theory has a Borel model of size the continuum. Hjorth ...