Back to Search Start Over

Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets

Authors :
Roman Kossak
Source :
Logic Journal of IGPL. 5:787-794
Publication Year :
1997
Publisher :
Oxford University Press (OUP), 1997.

Subjects

Subjects :
Hilbert's second problem
Discrete mathematics
PA degree
Peano curve
True arithmetic
Logic
Second-order arithmetic
Robinson arithmetic
Fixed point
Non-standard model of arithmetic
Mathematics

Details

ISSN :
13689894 and 13670751
Volume :
5
Database :
OpenAIRE
Journal :
Logic Journal of IGPL
Accession number :
edsair.doi...........7f33e61b20d088d896323ed5a7045eb5
Full Text :
https://doi.org/10.1093/jigpal/5.6.787
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details