The following pages link to Models of true arithmetic are integer parts of models of real exponentation (Q4989722):
Displaying 2 items.