Sciweavers

MLQ
2008
63views more  MLQ 2008»
14 years 12 days ago
Generic cuts in models of arithmetic
We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of `indicator' is d...
Richard Kaye
APAL
2010
83views more  APAL 2010»
14 years 18 days ago
Truth in generic cuts
In an earlier paper (MLQ 54, 128
Richard Kaye, Tin Lok Wong