Related papers: Another proof of M. Kontsevich formality theorem
The aim of this short note is to present an elementary, self-contained, and direct proof for the classical Lebesgue decomposition theorem.
In this brief article we try to find an ''interpretation'' for the formalism $\sqrt{dx}$.
This proof of Godel's first incompleteness theorem doesn't require omega-consistency, nor does it refer to codes of negated sentences as in Rosser's. It begins from where Godel's usual proof ends, and stalks it till it ends proving it.
We give a new proof of a theorem of Montejano and Karasev regarding $k$-dimensional transversals to small families of convex sets. While their proof uses technical algebraic and topological tools, our proof is a simple application of the…
We give a new proof of Chen-Lin result with Li-Zhang method.
We prove an infinitary version of the Brauer-Schur theorem.
In this expository paper we introduce extended topological quantum field theories and the cobordism hypothesis.
When a proposition has no proof in an inference system, it is sometimes useful to build a counter-proof explaining, step by step, the reason of this non-provability. In general, this counter-proof is a (possibly) infinite co-inductive proof…
The modified associate formalism is compared with similar models, such as the classical associate model, the associate species model and the modified quasichemical model. Advantages of the modified associate formalism are demonstrated.
We prove a result on the existence of linear forms of a given Diophantine type.
We give a sketch for an alternative proof of a recent result by J. Tseng.
This paper as been withdrawn. This paper as been withdrawn. This paper as been withdrawn. This paper as been withdrawn. This paper as been withdrawn. This paper as been withdrawn.
In this note, we present a simple directed graph proof of Sharkovsky's theorem.
Question when rectangle can be tiled with similar copies of rectangles witch quetient of sides quadratic irrationalities. New proof of one part F. Sharov's theorem. Other close result.
We introduce a formulation of combined systems in orthodox non-relativistic quantum mechanics, mathematically equivalent to the usual one. For context and larger issues, see http://euclid.unh.edu/~jjohnson/axiomatics.html and…
We make some simple observations on basic issues pertaining to thermostatistical formalisms.
In an earlier paper, we gave an abstract formulation of a theorem of Sierpi\'nski in uncountable commutative groups. In this paper, we prove a result which generalizes the earlier formulation.
This note contains a newly streamlined version of the original proof that Outer space is contractible.
We analyse the pseudofinite monadic second order theory of words over a fixed finite alphabet. In particular we present an axiomatisation of this theory, working in a one-sorted first order framework. The analysis hinges on the fact that…
In this note, we find a new way to prove several properties of 2-alternating capacities.