Punctually Standard and Nonstandard Models of Natural Numbers
Il paper indaga quali insiemi di operazioni costituiscono basi per la "punctual standardness", dimostrando che molte operazioni naturali non preservano la standardità delle funzioni ricorsive primitive su modelli isomorfi non computabili, mentre ne identifica di finite che lo fanno, risolvendo così una domanda recente di Grabmayr.