Related papers: Corks
We treat interpolation for various logics.
Various ideas associated with exotic hadrons, and hadronic structure in general, are briefly reviewed.
We analyze a number of properties obligations have or should have.
We show that, for each integer n, there exist infinitely many pairs of n-framed knots representing homeomorphic but non-diffeomorphic (Stein) 4-manifolds, which are the simplest possible exotic 4-manifolds regarding handlebody structures.…
An technically interesting proof of a known theorem.
We give an explicit description of cubic rings over a discrete valuation ring, as well as a description of all ideals of such rings.
Several authors have introduced various type of coherent-like rings and proved analogous results on these rings. It appears that all these relative coherent rings and all the used techniques can be unified. In [2], several coherent-like…
Some inequalities for different types of convexity are established.
This paper presents non-commutative and structural notions of torsor. The two are related by the machinery of Tannaka-Krein duality.
We expand upon some topics reviewed and sketched in a book to appear with more details, embellishments, and some new material of a speculative nature.
We give a notion of a comatrix coring which embodies all former constructions and, what is more interesting, leads to the formulation of a notion of Galois coring and the statement of a Faithfully Flat Descent Theorem that generalize the…
We give a brief survey of some facts about homotopy $4$-spheres \cite{a1}, then give a proof that the curious homotopy sphere constructed in \cite{a2} is in fact diffeomorphic to the standard $S^4$, and discuss its relation to infinite…
A generalization of the notion of an $\infty$-category is presented, allowing for ($\infty$-)cat(egorie)s that may have non-invertible higher morphisms.
Some speculative preliminary ideas relating matrix theory and cosmology are discussed.
A comprehensive review on Cook's contribution in the theory of NP-Completeness with relations to modern mathematics.
An axiomatic treatment of `independence relations' (notions of independence) for complete first-order theories is presented, the principal examples being forking (due to Shelah) and thorn-forking (due to Onshuus). Thorn-forking is…
Work in progress concerning alternative formalizations of arithmetic.
Some class of sums which naturally include the sums of powers of integers is considered. A number of conjectures concerning a representation of these sums is made.
We introduce and axiomatize the notion of a reflective cardinal, use it to give semantics to higher order set theory, and explore connections between the notion of reflective cardinals and large cardinal axioms.
I comment on some theoretical work presented at QCD Moriond 2006.