Yablo's paradox and the omitting types theorem for propositional languages (Q2904132)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Yablo's paradox and the omitting types theorem for propositional languages |
scientific article; zbMATH DE number 6063592
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Yablo's paradox and the omitting types theorem for propositional languages |
scientific article; zbMATH DE number 6063592 |
Statements
6 August 2012
0 references
Yablo's paradox
0 references
omitting types theorems.
0 references
Yablo's paradox and the omitting types theorem for propositional languages (English)
0 references
The author shows how Yablo's paradox see [\textit{S. Yablo}, ``Paradox without self-reference'', Analysis, Oxf. 53, No. 4, 251--252 (1993; Zbl 0943.03565)] provides us with an illustration of such a setting where there is a theory and a denumerable family \((\Sigma_i)\) of types that, although this theory does not locally omit any of the \(\Sigma_i\), it nevertheless has valuations that omit any finite set of them.
0 references
