Omer Ben-Neria

activity

20142025

most citedWeak prediction principles

7 citations · 9 across the 18 of their papers we have counts for

collaborators

Showing 2023Show all

3 papers · 1 filter

math.LO2023

Aronszajn trees and maximality

Omer Ben-Neria, Siiri Kivimäki, Menachem Magidor +1

Assuming the consistency of a weakly compact cardinal above a regular uncountable cardinal $μ$ , we prove the consistency of the existence of a wide $μ^{+}$ -Aronszajn tree, i.e. a tre…

math.LO2023

The model theory of geometric random graphs

Omer Ben-Neria, Itay Kaplan, Tingxiang Zou

We study the logical properties of infinite geometric random graphs, introduced by Bonato and Janssen. These are graphs whose vertex set is a dense ``generic'' subset of a metric s…

math.LO2023

On $Σ_{1}$ -Definable Closed Unbounded Sets

Omer Ben-Neria, Philipp Lücke

Definable stationary sets, and specifically, ordinal definable ones, play a significant role in the study of canonical inner models of set theory and the class HOD of hereditarily…

Aronszajn trees and maximality

The model theory of geometric random graphs

On Σ1​-Definable Closed Unbounded Sets

On $Σ_{1}$ -Definable Closed Unbounded Sets