The p-Rank of Tame Kernels of Pure Quintic Fields

Let F be a pure quintic field. In this paper, we present some results for the p-rank of K2𝒪F, where p is an odd prime number. In particular, the 5-rank of K2𝒪F is studied by the reflection theorem. Some explicit results on the 5-rank of K2𝒪F are given in some special cases.

TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY

This paper develops a (nontrivial) theory of cardinal numbers from a naive set comprehension principle, in a suitable paraconsistent logic. To underwrite cardinal arithmetic, the axiom of choice is proved. A new proof of Cantor’s theorem is provided, as well as a method for demonstrating the existence of large cardinals by way of a reflection theorem.

Algebro-geometric approach to the Yang-Baxter equation and related topics

We review the results of algebro-geometric approach to 4 ? 4 solutions of the Yang-Baxter equation. We emphasis some further geometric properties, connected with the double-reflection theorem, the Poncelet porism and the Euler-Chasles correspondence. We present a list of classifications in Mathematical Physics with a similar geometric background, related to pencils of conics. In the conclusion, we introduce a notion of discriminantly factorizable polynomials as a result of a computational experiment with elementary n-valued groups.

The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf

The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle⁄ZF, building on a previous mechanization of the reflection theorem. The heavy reliance on metatheory in the original proof makes the formalization unusually long, and not entirely satisfactory: two parts of the proof do not fit together. It seems impossible to solve these problems without formalizing the metatheory. However, the present development follows a standard textbook, Kenneth Kunen's Set theory: an introduction to independence proofs, and could support the formalization of further material from that book. It also serves as an example of what to expect when deep mathematics is formalized.

The Projective Antecedent of the Three Reflection Theorem

A complete answer is given to the question: Under what circumstances is the product of three harmonic homologies in PG(2, F) again a harmonic homology ? This is the natural question to ask in seeking a generalization to projective geometry of the Three Reflection Theorem of metric geometry. It is found that apart from two familiar special cases, and with one curious exception, the necessary and sufficient conditions on the harmonic homologies produce exactly the Three Reflection Theorem.