On Non-standard Models of Arithmetic with Uncountable Standard Systems

Wei Wang

In 1960s, Dana Scott gave a recursion theoretic characterization of standard systems of countable non-standard models of arithmetic, i.e., collections of sets of standard natural n…