Derek Levinson

dblp:371/2045 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2026
0009-0006-3647-1666ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 2 since 2021
YearPublicationVenuePosition
2026 UNREACHABILITY OF INDUCTIVE-LIKE POINTCLASSES IN $L(\mathbb {R})$
abstract
Abstract In [3], Hjorth proved from $ZF + AD + DC$ that there is no sequence of distinct $\boldsymbol {\Sigma ^1_2}$ sets of length $\boldsymbol {\delta ^1_2}$ . Sargsyan [11] extends Hjorth’s technique to show there is no sequence of distinct $\boldsymbol {\Sigma ^1_{2n}}$ sets of length $\boldsymbol {\delta ^1_{2n}}$ . Sargsyan conjectured an analogous property is true for any regular Suslin pointclass in $L(\mathbb {R})$ —i.e., if $\kappa $ is a regular Suslin cardinal in $L(\mathbb {R})$ , then there is no sequence of distinct $\kappa $ -Suslin sets of length $\kappa ^+$ in $L(\mathbb {R})$ . We prove this in the case that the pointclass $S(\kappa )$ is inductive-like.
Derek Levinson, Itay Neeman, Grigor Sargsyan
J. Symb. Log.1
2025 Unreachability of Γ+,
Derek Levinson
Ann. Pure Appl. Log.1