Dominik Thomas Adolf

dblp:249/6217 · also Dominik Adolf · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
1since 2021 · last 2024
0000-0002-8162-1161ORCID · corroborated

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

Theory of computation · 2 · 2 first-author · 1 since 2021
YearPublicationVenuePosition
2024 Approachable free subsets and fine structure derived scales
Dominik Thomas Adolf, Omer Ben-Neria
Ann. Pure Appl. Log.1
2019 Derived Models of mice below the least Fixpoint of the Solovay sequence
abstract
Abstract We introduce a mouse whose derived model satisfies $AD_ + {\rm{\Theta }} \ge \theta _{\aleph _2 } $ . More generally, we will introduce a class of large cardinal properties yielding mice whose derived models can satisfy properties as strong as $AD_ + {\rm{\Theta }} = \theta _{\rm{\Theta }} $ .
Dominik Thomas Adolf, Grigor Sargsyan
J. Symb. Log.1