Multiplication of nonadditive cuts in AST

Čuda, Karel. "Multiplication of nonadditive cuts in AST." Commentationes Mathematicae Universitatis Carolinae 32.1 (1991): 61-73. <http://eudml.org/doc/247262>.

@article{Čuda1991,
abstract = {Three complete characteristics of couples of nonadditive cuts such that $\underline\{J\times K\}\ne \overline\{Jtimes K\}$ are given. The equality $\overline\{J\times K\}=J\,!\,K$ is proved for all couples of nonadditive cuts. Some examples of nonadditive cuts are described.},
author = {Čuda, Karel},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {alternative set theory; cuts of natural numbers; inner and outer cut of a class; inner and outer product of two cuts; logarithmical cut; inner and outer cut of a class; inner and outer product of two cuts; logarithmic cut; initial segments; nonstandard natural numbers; alternative set theory; nonadditive cuts},
language = {eng},
number = {1},
pages = {61-73},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Multiplication of nonadditive cuts in AST},
url = {http://eudml.org/doc/247262},
volume = {32},
year = {1991},
}

TY - JOUR
AU - Čuda, Karel
TI - Multiplication of nonadditive cuts in AST
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1991
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 32
IS - 1
SP - 61
EP - 73
AB - Three complete characteristics of couples of nonadditive cuts such that $\underline{J\times K}\ne \overline{Jtimes K}$ are given. The equality $\overline{J\times K}=J\,!\,K$ is proved for all couples of nonadditive cuts. Some examples of nonadditive cuts are described.
LA - eng
KW - alternative set theory; cuts of natural numbers; inner and outer cut of a class; inner and outer product of two cuts; logarithmical cut; inner and outer cut of a class; inner and outer product of two cuts; logarithmic cut; initial segments; nonstandard natural numbers; alternative set theory; nonadditive cuts
UR - http://eudml.org/doc/247262
ER -