Open research library
Papers you can read, cite and question
611 papers from the QNFO program, filed on nine shelves by the reader each one is written for: energy per answer, error correction, physics, numbers and p-adics, logic and formalism, AI and knowledge, autonomous systems, assessments, and cross-cutting essays. Every page renders its mathematics and can be questioned in place. How a living paper works.
Looking for an answer rather than a paper? Ask the whole corpus: answers cite the papers they come from.
Numbers & p-adics papers 2 papers
Mathematicians. Valuation theory and the p-adic and adelic programme, Bruhat-Tits trees and ultrametric geometry as mathematics, Ostrowski's theorem, numeral and radix systems, primes, arithmetic and algebraic structures, zeta and gamma functions.
Proof assistants. Machine-checked proofs (Lean, Isabelle, Coq) Tagged papers: 10.
Functorial Characterization of the Prime Numbers
This paper presents a complete theoretical characterization of the set of prime numbers, \(\mathcal{P}\), by demonstrating that it is the geometric support of a canonical object constructed via a three-stage functorial lift. This process begins in the logical stratum of Homotopy Type Theory (HoTT),…
Identity of Zero
This document presents a formal analysis of the identity of zero across mathematical, logical, informational, and physical domains. This work rejects the notion of zero as “nothingness,” proposing instead that zero is a dynamic void—a structured, operational concept whose properties are not…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.