Related papers: Permanence as a Principle of Practice
The Perron-Frobenius theorem plays an important role in many areas of management science and operations research. This paper provides a probabilistic perspective on the theorem, by discussing a proof that exploits a probabilistic…
The use of logical systems for problem-solving may be as diverse as in proving theorems in mathematics or in figuring out how to meet up with a friend. In either case, the problem solving activity is captured by the search for an…
Being mathematics a natural language to Mankind and to physics, it must be constantly adapted to our necessities and our natural perception. Then, mathematical concepts are not absolute to reality. Although mathematical theories are…
In this note we study a counterpart in predicate logic of the notion of 'logical friendliness', introduced into propositional logic in Makinson (2007). The result is a new consequence relation for predicate languages using first-order…
We develop foundational aspects of stability theory in affine logic. On the one hand, we prove appropriate affine versions of many classical results, including definability of types, existence of non-forking extensions, and other…
The sequential form of a statement $\forall\xi(B(\xi) \rightarrow \exists\zeta A(\xi,\zeta))$ is the statement $\forall\xi(\forall n B(\xi_n) \rightarrow \exists\zeta \forall n A(\xi_n,\zeta_n))$. There are many classically true statements…
Inference systems are a widespread framework used to define possibly recursive predicates by means of inference rules. They allow both inductive and coinductive interpretations that are fairly well-studied. In this paper, we consider a…
Mach's principle is incompatible with general relativity (GR), it has not condensed into an established theory and suffers from inconsistencies. Yet, the problem is that Mach's principle is a consequence of Berkeley's notions, which are as…
We augment the dimension of the Euclidean space by one and the Picard iteration of a contraction by a simple iteration on the real line such that the resulting iteration becomes monotone increasing and bounded with respect to the order…
This paper explores the connection between two central results in the proof theory of classical logic: Gentzen's cut-elimination for the sequent calculus and Herbrands "fundamental theorem". Starting from Miller's expansion-tree-proofs, a…
We provide the first two examples of sets of generalized Riemann derivatives of orders up to $n$, $n\geq 2$, whose simultaneous existence for all functions~$f$ at~$x$ is equivalent to the existence of the $n$-th Peano derivative…
The uncertainty principle, originally formulated by Heisenberg, dramatically illustrates the difference between classical and quantum mechanics. The principle bounds the uncertainties about the outcomes of two incompatible measurements,…
Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave…
We study a continuous-time financial market with continuous price processes under model uncertainty, modeled via a family $\mathcal{P}$ of possible physical measures. A robust notion ${\rm NA}_{1}(\mathcal{P})$ of no-arbitrage of the first…
Roughly speaking, a system is said to be robust if it can resist disturbances and still function correctly. For instance, if the requirement is that the temperature remains in an allowed range $[l,h]$, then a system that remains in a range…
The principle of common cause is discussed as a possible fundamental principle of physics. Some revisions of Reichenbach's formulation of the principle are given, which lead to a version given by Bell. Various similar forms are compared and…
We investigate the cyclic proof theory of extensions of Peano Arithmetic by (finitely iterated) inductive definitions. Such theories are essential to proof theoretic analyses of certain `impredicative' theories; moreover, our cyclic systems…
We review the consistent histories formulations of quantum mechanics developed by Griffiths, Omn\`es and Gell-Mann and Hartle, and describe the classification of consistent sets. We illustrate some general features of consistent sets by a…
We define a new dynamical variable, the relative existence e, in terms of space and time. Taking it as a generalized positional coordinate, we show that for conservative systems the canonically conjugated momentum is identified as the…
We present a framework which allows a uniform approach to the recently introduced concept of pseudo-repetitions on words in the morphic case. This framework is at the same time more general and simpler. We introduce the concept of a…