Abstract

We investigate some relations between omitting types of a countable theory and some notions defined in terms of the real line, such as for example the ideal of meager subsets ofR. We also try to express connections between the logical structure of a theory and the existence of its countable models omitting certain families of types.It is well known that assuming MA we can omit

Cite Plain text    BibTeX    Formatted text Zotero EndNote Reference Manager RefWorks

Options Mark as duplicate Find it on Scholar Request removal from index Revision history

Edit