Login / Signup
Erez Shochat
Publication Activity (10 Years)
Years Active: 2008-2016
Publications (10 Years): 1
Top Topics
Cellular Automata
Sensitivity Analysis
Object Model
Supply Chain
Top Venues
Notre Dame J. Formal Log.
</>
Publications
</>
Ermek S. Nurkhaidarov
,
Erez Shochat
Closed Normal Subgroups of the Automorphism Group of a Saturated Model of Peano Arithmetic.
Notre Dame J. Formal Log.
57 (1) (2016)
Ermek S. Nurkhaidarov
,
Erez Shochat
Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic.
Notre Dame J. Formal Log.
52 (3) (2011)
Erez Shochat
A Galois correspondence for countable short recursively saturated models of PA.
Math. Log. Q.
56 (3) (2010)
Erez Shochat
Automorphisms of Countable Short Recursively Saturated Models of PA.
Notre Dame J. Formal Log.
49 (4) (2008)