EuDML | Browse

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

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

Metamathematics of the alternative set theory. II.

Antonín Sochor (1982)

Commentationes Mathematicae Universitatis Carolinae

Metamathematics of the alternative set theory. III.

Antonín Sochor (1983)

Commentationes Mathematicae Universitatis Carolinae

Model theory for $L_{𝒜 M}$ logic.

Rašković, Miodrag (1985)

Publications de l'Institut Mathématique. Nouvelle Série

Model Theory for Lam Logic

Miodrag Rašković (1985)

Publications de l'Institut Mathématique

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

Page 1