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
03Exx Set theory
03E70 Nonclassical and second-order set theories

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

Metamathematics of the alternative set theory. I.

Antonín Sochor (1979)

Commentationes Mathematicae Universitatis Carolinae

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

Minimal monads

Karel Čuda, Blanka Vojtášková (1987)

Commentationes Mathematicae Universitatis Carolinae

Minimal ultrafilters and maximal endomorphic universes

Athanossios Tzouvaras (1985)

Commentationes Mathematicae Universitatis Carolinae

Models of AST without choice

Karel Čuda, Blanka Vojtášková (1984)

Commentationes Mathematicae Universitatis Carolinae

Model-theoretical constructions in AST. I.

Karel Čuda, Blanka Vojtášková (1986)

Commentationes Mathematicae Universitatis Carolinae

Monads in basic equivalences

Karel Čuda, Blanka Vojtášková (1983)

Commentationes Mathematicae Universitatis Carolinae

Monads of indiscernibles

Karel Čuda, Blanka Vojtášková (1989)

Commentationes Mathematicae Universitatis Carolinae

Monotonic valuations and valuations of triads of higher types

Josef Mlček (1981)

Commentationes Mathematicae Universitatis Carolinae

Monotonic valuations of $π σ$ -triads and evaluations of ideals

Josef Mlček (1993)

Commentationes Mathematicae Universitatis Carolinae

We develop problems of monotonic valuations of triads. A theorem on monotonic valuations of triads of the type $π σ$ is presented. We study, using the notion of the monotonic valuation, representations of ideals by monotone and subadditive mappings. We prove, for example, that there exists, for each ideal $J$ of the type $π$ on a set $A$ , a monotone and subadditive set-mapping $h$ on $P (A)$ with values in non-negative rational numbers such that $J = h^{- 1}^{''} {r \in Q; r \geq 0 & r ≐ 0}$ . Some analogical results are proved for ideals of the types $σ, σ π$ and...

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

Page 1