I. Souldatos

activity

20102021

most citedCharacterizing the powerset by a complete (Scott) sentence

9 citations · 22 across the 12 of their papers we have counts for

collaborators

Showing 2017Show all

2 papers · 1 filter

math.LO2017★ 1 cited

Non-Absoluteness of Model Existence at $ℵ_{ω}$

David Milovich, Ioannis Souldatos

In [FHK13], the authors considered the question whether model-existence of $L_{ω_{1}, ω}$ -sentences is absolute for transitive models of ZFC, in the sense that if $V \subseteq W$ are…

math.LO2017★ 2 cited

Kurepa trees and spectra of $L_{ω_{1}, ω}$ -sentences

Dima Sinapova, Ioannis Souldatos

We use set-theoretic tools to make a model-theoretic contribution. In particular, we construct a \emph{single} $L_{ω_{1}, ω}$ -sentence $ψ$ that codes Kurepa trees to prove t…

Non-Absoluteness of Model Existence at ℵω​

Kurepa trees and spectra of Lω1​,ω​-sentences

Non-Absoluteness of Model Existence at $ℵ_{ω}$

Kurepa trees and spectra of $L_{ω_{1}, ω}$ -sentences