Vaught’s Conjecture Without Equality
| Autor: | Nathanael L. Ackerman |
|---|---|
| Rok vydání: | 2015 |
| Předmět: | |
| Zdroj: | Notre Dame J. Formal Logic 56, no. 4 (2015), 573-582 |
| ISSN: | 0029-4527 |
| DOI: | 10.1215/00294527-3153588 |
| Popis: | Suppose that $\sigma\in{\mathcal{L}}_{\omega _{1},\omega }(\mathrm{L})$ is such that all equations occurring in $\sigma$ are positive, have the same set of variables on each side of the equality symbol, and have at least one function symbol on each side of the equality symbol. We show that $\sigma$ satisfies Vaught’s conjecture. In particular, this proves Vaught’s conjecture for sentences of $ {\mathcal{L}}_{\omega _{1},\omega }(\mathrm{L})$ without equality. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|