Displaying similar documents to “Census algorithms for chinese remainder pseudorank”

Large dimensional sets not containing a given angle

Viktor Harangi (2011)

Open Mathematics

Similarity:

We say that a set in a Euclidean space does not contain an angle α if the angle determined by any three points of the set is not equal to α. The goal of this paper is to construct compact sets of large Hausdorff dimension that do not contain a given angle α ∈ (0,π). We will construct such sets in ℝn of Hausdorff dimension c(α)n with a positive c(α) depending only on α provided that α is different from π/3, π/2 and 2π/3. This improves on an earlier construction (due to several authors)...

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.