Tal Hershko

dblp:378/5670 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
2since 2021 · last 2025
0009-0008-9415-4698ORCID · reported

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

Theory of computation · 2 · 1 first-author · 2 since 2021
YearPublicationVenuePosition
2025 First-Order Logic with Equicardinality in Random Graphs
Simi Haber, Tal Hershko, Mostafa Mirabi, Saharon Shelah
CSL2
2024 First order distinguishability of sparse random graphs
abstract
We study the problem of distinguishing between two independent samples [EQUATION], [EQUATION] of a binomial random graph G(n, p) by first order (FO) sentences. Shelah and Spencer proved that, for a constant α ∈ (0, 1), G(n, n−-α) obeys FO zero-one law if and only if α is irrational. Therefore, for irrational α ∈ (0, 1), any fixed FO sentence does not distinguish between [EQUATION] with asymptotical probability 1 (w.h.p.) as n → ∞. We show that the minimum quantifier depth kα of a FO sentence [EQUATION] distinguishing between [EQUATION] depends on how closely α can be approximated by rationals:
Tal Hershko, Maksim Zhukovskii
LICS1