Ori Segel

According to our database, Ori Segel authored at least 3 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2025

Positive definability patterns.

Ori Segel

Ann. Pure Appl. Log., 2025

Completeness in local positive logic.

Arturo Rodríguez Fanlo, Ori Segel

Ann. Pure Appl. Log., 2025

2022

Boolean Types in Dependent Theories.

Itay Kaplan, Ori Segel, Saharon Shelah

J. Symb. Log., December, 2022