EuDML | Browse

Loading [MathJax]/extensions/MathZoom.js

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F30 First-order arithmetic and fragments

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 3 of 3

Majorizing provably recursive functions in fragments of PA.

Andrea Cantini (1985)

Archiv für mathematische Logik und Grundlagenforschung

Modal Translations of Heyting and Peano Arithmetic

Kosta Došen (1990)

Publications de l'Institut Mathématique

More on extending automorphisms of models of Peano Arithmetic

Roman Kossak, Henryk Kotlarski (2008)

Fundamenta Mathematicae

Continuing the earlier research [Fund. Math. 129 (1988) and 149 (1996)] we give some information about extending automorphisms of models of PA to cofinal extensions.

Currently displaying 1 – 3 of 3

Page 1