Which number theoretic problems can be solved in recursive progressions on Π1 1-paths through O?

Publisher： Cambridge University Press

E-ISSN： 1943-5886|37|2|311-334

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.37, Iss.2, 1972-06, pp. : 311-334

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Π1 1 relations and paths through

By  

The Journal of Symbolic Logic, Vol. 69, Iss. 2, 2004-06 ,pp. : 585-611

Cambridge University Press

Access to resources Recommend Favorite

Incompleteness along paths in progressions of theories 1

By  

The Journal of Symbolic Logic, Vol. 27, Iss. 4, 1962-12 ,pp. : 383-390

Cambridge University Press

Access to resources Recommend Favorite

On Π 1-automorphisms of recursive linear orders

By  

The Journal of Symbolic Logic, Vol. 52, Iss. 3, 1987-09 ,pp. : 681-688

Cambridge University Press

Access to resources Recommend Favorite

Toward model theory through recursive saturation1

By  

The Journal of Symbolic Logic, Vol. 43, Iss. 2, 1978-06 ,pp. : 183-206

Cambridge University Press

Access to resources Recommend Favorite

Some number theoretic properties of arbitrary order recursive sequences

By  

Bulletin of the Australian Mathematical Society, Vol. 14, Iss. 1, 1976-02 ,pp. : 149-151

Cambridge University Press

Access to resources Recommend Favorite