Omer Mermelstein

dblp:304/2077 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
2since 2021 · last 2022
—ORCID · none

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

Theory of computation · 2 · 1 first-author · 2 since 2021
YearPublicationVenuePosition
2022 Indifference to symmetry in Hrushovski's ab initio construction
Omer Mermelstein
Ann. Pure Appl. Log.1
2021 Is a spectrum of a non-Disintegrated flat strongly Minimal Model Complete Theory in a Language with finite Signature
abstract
Abstract We build a new spectrum of recursive models ( $ \operatorname {\mathrm {SRM}}(T)$ ) of a strongly minimal theory. This theory is non-disintegrated, flat, model complete, and in a language with a finite signature.
Uri Andrews, Omer Mermelstein
J. Symb. Log.2