相关论文: Yet another proof of Hawking and Ellis's Lemma 8.5…
G\"odel's second incompleteness theorem is proved for Herbrand consistency of some arithmetical theories with bounded induction, by using a technique of logarithmic shrinking the witnesses of bounded formulas, due to Z. Adamowicz [Herbrand…
Chru\'sciel, Isenberg, and Pollack constructed a class of vacuum cosmological spacetimes that do not admit Cauchy surfaces with constant mean curvature. We prove that, for sufficiently large values of the gluing parameter, these examples…
This text is an updated version of material used for a course at Universit\'e de Nantes, part of `Functor homology and applications', April 23-27, 2012. The proof by Touz\'e of my conjecture on cohomological finite generation (CFG) has been…
In the early 2000's the first and second named authors worked for a period of six years in an attempt of proving the Compositional Shuffle Conjecture [1]. Their approach was based on the discovery that all the Combinatorial properties…
In general relativity, nonsingular black holes contain (at least) a Cauchy horizon, a null hypersurface beyond which determinism breaks down. Even though the strong cosmic censorship conjecture establishes the impossibility of extending…
We consider the Cauchy problem for a $n\times n$ strictly hyperbolic system of balance laws $$ \{{array}{c} u_t+f(u)_x=g(x,u), x \in \mathbb{R}, t>0 u(0,.)=u_o \in L^1 \cap BV(\mathbb{R}; \mathbb{R}^n), | \lambda_i(u)| \geq c > 0 {for all}…
We study the causal structure of dynamical charged black holes, with a sufficient number of massless fields, using numerical simulations. Neglecting Hawking radiation, the inner horizon is a null Cauchy horizon and a curvature singularity…
A new theorem for black holes is found. It is called the horizon mass theorem. The horizon mass is the mass which cannot escape from the horizon of a black hole. For all black holes: neutral, charged or rotating, the horizon mass is always…
The destruction of the black-hole event horizon is ruled out by both cosmic censorship and the generalized second law of thermodynamics. We test the consistency of this prediction in a (more) `dangerous' version of the gedanken experiment…
We examine prevailing philosophical and historical views about the origin of infinitesimal mathematics in light of modern infinitesimal theories, and show the works of Fermat, Leibniz, Euler, Cauchy and other giants of infinitesimal…
Chrusciel and Galloway constructed a Cauchy horizon that is nondifferentiable on a dense set. We prove that in a certain class of Cauchy horizons densely nondifferentiable Cauchy horizons are generic. We show that our class of densely…
Smooth Gowdy-symmetric generalized Taub-NUT solutions are a class of inhomogeneous cosmological models with spatial three-sphere topology. They have a past Cauchy horizon with closed null-generators, and they are generally expected to…
The process of black hole evaporation resulting from the Hawking effect has generated an intense controversy regarding its potential conflict with quantum mechanics' unitary evolution. In a recent couple of works of a collaboration…
In this paper we give a new proof for the completeness of infinite valued propositional \L ukasiewicz logic introduced by \L ukasiewicz and Tarski in 1930. Our approach employs a Hilbert-style proof that relies on the concept of maximal…
The extendibility of spacetime and the existence of weak solutions to the Einstein field equations beyond Cauchy horizons, is a crucial ingredient to examine the limits of General Relativity. Strong Cosmic Censorship serves as a firewall…
We show explicitly, for different types of extremal black holes, that test fields satisfying the null energy condition at the event horizon cannot violate the weak cosmic censorship conjecture. This is done by checking, in each case, that…
For any $\alpha < 1/3$, we construct weak solutions to the $3D$ incompressible Euler equations in the class $C_tC_x^\alpha$ that have nonempty, compact support in time on ${\mathbb R} \times {\mathbb T}^3$ and therefore fail to conserve the…
In this short note, we give a proof of the free energy part of the BKMP conjecture of C^3 proposed by Bouchard and Sulkowski [4]. Hence the proof of the full BKMP conjecture for the case of C^3 has been finished.
The interior of the Kerr solution is singular and achronological. The classic singularity theorem by Hawking and Penrose relies on chronology, and thus does not apply to the Kerr solution. An improvement of their theorem by Kriele partially…
We prove two theorems on cohomologically complete complexes. These theorems are inspired by, and yield an alternative proof of, a recent theorem of P. Schenzel on complete modules.