Previous |  Up |  Next

Article

Title: Multiplication of nonadditive cuts in AST (English)
Author: Čuda, Karel
Language: English
Journal: Commentationes Mathematicae Universitatis Carolinae
ISSN: 0010-2628 (print)
ISSN: 1213-7243 (online)
Volume: 32
Issue: 1
Year: 1991
Pages: 61-73
.
Category: math
.
Summary: Three complete characteristics of couples of nonadditive cuts such that $\underline{J\times K}\neq\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. (English)
Keyword: alternative set theory
Keyword: cuts of natural numbers
Keyword: inner and outer cut of a class
Keyword: inner and outer product of two cuts
Keyword: logarithmical cut
MSC: 03E10
MSC: 03E70
MSC: 03H05
MSC: 03H15
idZBL: Zbl 0735.03024
idMR: MR1118290
.
Date available: 2008-10-09T13:11:03Z
Last updated: 2012-08-08
Stable URL: http://hdl.handle.net/10338.dmlcz/116943
.
Reference: [KZ 1988] Kalina M., Zlatoš P.: Arithmetics of cuts and cuts of classes.Comment. Math. Univ. Carolinae 29 (1988), 435-456. MR 0972828
Reference: [KZ 1989] Kalina M., Zlatoš P.: Cuts of real classes.Comment. Math. Univ. Carolinae 30 (1989), 129-136. MR 0995711
Reference: [S 1988] Sochor A.: Addition of initial segments I.Comment. Math. Univ. Carolinae 29 (1988), 501-517. Zbl 0658.03030, MR 0972833
Reference: [SV 1979] Sochor A., Vopěnka P.: Endomorphic universes and their standard extensions.Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178
Reference: [SV 1980] Sochor A., Vopěnka P.: Revealments.Comment. Math. Univ. Carolinae 21 (1980), 97-118. MR 0566243
Reference: [Tz 1987] Tzouvaras A.: A notion of measure for classes in AST.Comment. Math. Univ. Carolinae 28 (1987), 449-455. Zbl 0629.03033, MR 0912575
Reference: [Tz 1988] Tzouvaras A.: Correction to the paper Tz 1987.Comment. Math. Univ. Carolinae 29 (1988), 393. MR 0957408
.

Files

Files Size Format View
CommentatMathUnivCarolRetro_32-1991-1_8.pdf 251.0Kb application/pdf View/Open
Back to standard record
Partner of
EuDML logo