Displaying similar documents to “Ordered structures and projections.”

Quasitrivial semimodules. VII.

Tomáš Kepka, Petr Němec (2013)

Acta Universitatis Carolinae. Mathematica et Physica

Similarity:

The paper continues the investigation of quasitrivial semimodules and related problems. In particular, strong endomorphisms of semilattices are studied.

Forcing in the alternative set theory. II

Jiří Sgall, Antonín Sochor (1991)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

By the technique of forcing, some new independence results are proved for the alternative set theory (AST) and similar weak theories: The scheme of choice is independent both of AST and of second order arithmetic, axiom of constructibility is independent of AST plus schemes of choice.