EDBT 2026 Demo / reviewers in the wild / expert

Nicholas Ramsey

dblp:221/2456 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
3since 2021 · last 2023
0000-0002-6028-5293ORCID · corroborated

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

Theory of computation · 5 · 1 first-author · 3 since 2021
YearPublicationVenuePosition
2023 Transitivity, Lowness, and ranks in Nsop Theories
abstract
Abstract We develop the theory of Kim-independence in the context of NSOP $_{1}$ theories satisfying the existence axiom. We show that, in such theories, Kim-independence is transitive and that -Morley sequences witness Kim-dividing. As applications, we show that, under the assumption of existence, in a low NSOP $_{1}$ theory, Shelah strong types and Lascar strong types coincide and, additionally, we introduce a notion of rank for NSOP $_{1}$ theories.
Artem Chernikov, Byunghan Kim, Nicholas Ramsey
 J. Symb. Log.3
2022 Independence over arbitrary sets in NSOP1 theories
Jan Dobrowolski, Byunghan Kim, Nicholas Ramsey
 Ann. Pure Appl. Log.3
2021 Criteria for exact saturation and singular compactness
Itay Kaplan, Nicholas Ramsey, Saharon Shelah
 Ann. Pure Appl. Log.2
2019 A note on Nsop1 in One variable
abstract
Abstract We prove that, in order to establish that a theory is NSOP1, it suffices to show that no formula in a single free variable has SOP1.
Nicholas Ramsey
 J. Symb. Log.1
2018 Generic expansion and Skolemization in NSOP1 theories
Alex Kruckman, Nicholas Ramsey
 Ann. Pure Appl. Log.2