8 citations · 17 across the 19 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
math.LO2017
Fixed Points of Self-embeddings of Models of Arithmetic
Saeideh Bahrami, Ali Enayat
We investigate the structure of fixed point sets of self-embeddings of models of arithmetic. In particular, given a countable nonstandard model M of a modest fragment of Peano arit…
math.LO2017★ 2 cited
Variations on a Visserian Theme
Ali Enayat
A first order theory T is said to be "tight" if for any two deductively closed extensions U and V of T (both of which are formulated in the language of T), U and V are bi-interpret…
math.LO2017
Iterated Ultrapowers for the Masses
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indisc…