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

Back to Simple Search

Advanced Search

Match of the following rules

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 4 of 4

Order by Relevance | Title | Year of publication

[unknown]

Roman Kossak — 1984

Fundamenta Mathematicae

On extending automorphisms of models of Peano Arithmetic

Roman Kossak; Henryk Kotlarski — 1996

Fundamenta Mathematicae

Continuing the earlier research in [10] we give some information on extending automorphisms of models of PA to end extensions and cofinal extensions.

Results on automorphisms of recursively saturated models of PA

Roman Kossak; Henryk Kotlarski — 1988

Fundamenta Mathematicae

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.

Page 1

Download Results (CSV)