The reals as a subset of an ultraproduct of finite fields
Il paper presenta nuovi metodi per costruire sottoinsiemi esterni di modelli non standard dell'aritmetica, dimostrando che mentre una copia dei numeri reali non può essere ottenuta in un ultraprodotto di campi finiti tramite tali costruzioni, è possibile costruire un campo iperreale o un campo algebricamente chiuso di cardinalità almeno pari al continuo.