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
03Hxx Nonstandard models
03H15 Nonstandard models of arithmetic

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 – 4 of 4

Models of arithmetic and the 1-3-1 lattice

J. Paris (1977)

Fundamenta Mathematicae

Monomorphisms of inductive number systems

Alling, Norman L., Swartz, Timothy A. (1990)

Portugaliae mathematica

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.

Multiplication of nonadditive cuts in AST

Karel Čuda (1991)

Commentationes Mathematicae Universitatis Carolinae

Three complete characteristics of couples of nonadditive cuts such that $\underset{̲}{J \times K} \neq \bar{J t i m e s K}$ are given. The equality $\bar{J \times K} = J! K$ is proved for all couples of nonadditive cuts. Some examples of nonadditive cuts are described.

Currently displaying 1 – 4 of 4

Page 1