Ori Segel

Orcid: 0000-0002-5759-5709

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Positive definability patterns.
Ann. Pure Appl. Log., 2025

Completeness in local positive logic.
Ann. Pure Appl. Log., 2025

2022
Boolean Types in Dependent Theories.
J. Symb. Log., December, 2022


  Loading...