Related papers: Was There a Beginning?

We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the same as in there. However, we give a…

Brief response to a Reply [arXiv:1005.2615] on our Comments [arXiv:1005.0838] on XENON100 recent results [arXiv:1005.0380].

David Mermin's recent paper with the same title as this one makes it clear that his claim to have found a gap in my reasoning rests on his claim that my argument violates a criterion for meaningfulness of counterfactual statements that I…

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…

We present several results, including some remarks on the Hopf Lemma.

Here we reply to the comment by A. F. Volkov, F. S. Bergeret, and K. B. Efetov.

Some new sufficient conditions for the weighted Chebyshev's inequality for real numbers to hold are provided.

The original proof of the Sharkovsky theorem is presented in full detail. The proof should be accessible to readers with basic Real Analysis background. Although nowadays there are several alternative proofs of this classical result, we…

Arising out of an attempt at a new foundations of mathematics, in which relations are more primitive than sets, and out of the theoretical physicists' concept of underlying causes of empirical phenomena, the idea of a purely mathematical…

This paper argues that, insofar as we doubt the bivalence of the Continuum Hypothesis or the truth of the Axiom of Choice, we should also doubt the consistency of third-order arithmetic, both the classical and intuitionistic versions.…

Putnam and Finkelstein can be read as providing an answer to Kripke's skeptical argument by appealing to the way mathematics is commonly pursued. Nowadays, the debate surrounding pluralism has questioned the postulation of a unique way of…

This short note presents a viewpoint about medical robotics.

In this note, we show that a part of [5, Remark 2.2] is not correct. Some conditions are given under which the same holds.

This is an attempt to illustrate the glorious history of logical foundations and to discuss the uncertain future.

Some formulas and speculations are presented relative to integrable systems and quantum mechanics.

We reply to the comment by Ying Zhang and S. Das Sarma on our PRL 94, 226405 (2005).

We give a new proof of Brooks' theorem that immediately implies a strengthening of Brooks' theorem, known as Catlin's theorem.

In this preliminary note we prove that the theory of valued fields equipped with an action of a given finite group has a model companion.

In this comment we wish to clarify and correct some of the statements made in a recent paper by E. G. Mishchenko (Europhys. Lett. 83 (2008) 17005).

This work is a continuation of what was done in a previous paper and strongly connected to the recent work of U. Abel and I. Rasa [arXiv:1707.00127]