Displaying similar documents to “Crossed ladders and Euler's quartic.”

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.

λ -factorials of n .

Sun, Yidong, Zhuang, Jujuan (2010)

The Electronic Journal of Combinatorics [electronic only]

Similarity:

About a Diophantine equation.

Savin, Diana (2009)

Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică

Similarity: