Pages that link to "Item:Q2363347"

The following pages link to On the value group of a model of Peano arithmetic (Q2363347):

Displaying 3 items.

• Models of true arithmetic are integer parts of models of real exponentation (Q4989722) (← links)
• ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC (Q5085859) (← links)
• Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts (Q6096734) (← links)