Related papers: On an example of LaBuz
We have received an e-mail from Bryan Gillespie pointing out that a proposition, that is Proposition 8.5, of our book, [1] is incorrect as stated. The given formula (8.5) is valid only in the generic case that is assuming that for any point…
We reconsider a well known problem of quantum theory, i.e. the so called measurement (or macro-objectification) problem, and we rederive the fact that it gives rise to serious problems of interpretation. The novelty of our approach derives…
Error in proof of theorem 10.
A false application of Proposition 4.10 causes a mistake in the proof of Corollary 4.11
Grounded on the quantum measurement riddle, a general argument against the universal validity of the superposition principle was recently put forward by Bassi and Ghirardi. It is pointed out that this argument is valid only within the realm…
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
Mach Principle presents the absolute universe. For example, when Einstein stood on the ground and relaxed, his arms fell down naturally. However, if he rotated his body then his arms were lifted up as the rotation was faster and faster.…
We study the proof scheme "proof by example" in which a general statement can be proved by verifying it for a single example. This strategy can indeed work if the statement in question is an algebraic identity and the example is "generic".…
In [2] the author claims to provide a counterexample to a result in a recent paper [1]. In this note, we prove that the details of his example is false and this example is compatible with our result in [1] and so is not a countreexample.
We investigate the structure common to causal theories that attempt to explain a (part of) the world. Causality implies conservation of identity, itself a far from simple notion. It imposes strong demands on the universalizing power of the…
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set-forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of ZFC has a class-forcing extension which…
In many expert and everyday reasoning contexts it is very useful to reason on the basis of defeasible assumptions. For instance, if the information at hand is incomplete we often use plausible assumptions, or if the information is…
We will prove that the generalized Lie algebroid is a distinguished example by Lie algebroid. The generality of it with respect to the Lie algebroid is similar with the generality of the pull-back vector bundle with respect to the vector…
This paper has been withdrawn by the authors due to a mistake in the proof of the chief result. In particular Theorem 1.3 is correct, while Theorem 1.1 and Theorem 1.2 hold with \mu>0 and a suitable restriction on the exponent p. The proof…
The aim of this thesis is to question some of the basic assumptions that go into building the $\Lambda$CDM model of our universe. The assumptions we focus on are the initial conditions of the universe, the fundamental forces in the universe…
We present a so-called universal convergence theorem for inexact primal-dual penalty and augmented Lagrangian methods that can be applied to a large number of such methods and reduces their convergence analysis to verification of some…
Turing machines and spin models share a notion of universality according to which some simulate all others. Is there a theory of universality that captures this notion? We set up a categorical framework for universality which includes as…
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…
A general method for constructing essential uniform algebras with prescribed properties is presented. Using the method, the following examples are constructed: an essential, natural, regular uniform algebra on the closed unit disc; an…
We introduce a variant of Martin's axiom, called the grounded Martin's axiom, which asserts that the universe is a ccc forcing extension in which Martin's axiom holds for posets in the ground model. This principle already implies several of…