Yatir Halevi

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Group Formation

Solving Nonlinear

Correct Classification

Top Venues

Bull. Symb. Log.

Ann. Pure Appl. Log.

Notre Dame J. Formal Log.

Publications

Yatir Halevi, Itay Kaplan
Saturated Models for the Working Model theorist. Bull. Symb. Log. 29 (2) (2023)
Yatir Halevi
Corrigendum to "On stably pointed varieties and generically stable groups in ACVF" [Ann. Pure Appl. Log. 170(2) (2019) 180-217]. Ann. Pure Appl. Log. 173 (1) (2022)
Yatir Halevi, Assaf Hasson, Franziska Jahnke
Definable V-topologies, Henselianity and NIP. J. Math. Log. 20 (2) (2020)
Yatir Halevi
On Stably Pointed Varieties and Generically Stable Groups in ACVF. Ann. Pure Appl. Log. 170 (2) (2019)
Yatir Halevi, Assaf Hasson, Franziska Jahnke
A Conjectural Classification of strongly dependent Fields. Bull. Symb. Log. 25 (2) (2019)
Yatir Halevi, Daniel Palacín
The DP-Rank of Abelian Groups. J. Symb. Log. 84 (3) (2019)
Yatir Halevi
Semigroups in Stable Structures. Notre Dame J. Formal Log. 59 (3) (2018)