Related papers: Yablo's paradox and forcing

If a semantically open language has no constraints on self-reference, one can prove an absurdity. The argument utilizes co-referring names 'a0' and 'a1', and the definition of a functional expression 'The reflection of x = y'. The…

We present a forcing for blowing up 2^lambda and making ``many positive polarized partition relations'' (in a sense made precise in (c) of our main theorem) hold in the interval [lambda, 2^lambda]. This generalizes results of [276], Section…

First a few reformulations of Frankl's conjecture are given, in terms of reduced families or matrices, or analogously in terms of lattices. These lead naturally to a stronger conjecture with a neat formulation which might be easier to…

Let $M$ be a transitive model of $ZFC$ and let ${\bf B}$ be a $M$-complete Boolean algebra in $M.$ (In general a proper class.) We define a generalized notion of forcing with such Boolean algebras, $^*$forcing. (A $^*$ forcing extension of…

We remark that forcing on fiber bundles of structures of first order languages is not a compatible semantics with the pullback (of fiber bundles) and we describe a semantics which behaves well with respect to it. This new semantics uses…

This article presents an equivalent formulation of the implicit complementarity problem. We demonstrate that solution of the equivalent formulation is equivalent to the solution of the implicit complementarity problem. Moreover, we provide…

We give arguments for and prove the consistency of some internal forcing axioms.

In this note our aim is to show a paradox in the spectral representation of stationary random processes.

Based on the results people have obtained, we try to prove the Jacobian conjecture, but there is a gap in the proof.

An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory.

Assume $\kappa = \kappa^{< \kappa}$ (usually $\aleph_0$ or an inaccessible). We shall deal with iterated forcings preserving ${}^{\kappa>}{\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this,…

The article presents the detailed analysis of the watch paradox. It is shown that it arose because of unjustified, as it turned out, identification of watch readings at the moment of its return with the time read by it.

The "paradox" arises in the Two Envelopes Paradox from the incorrect formulation of the argument. The infomation given is misused and therefore the results are incorrect for the question asked. The key is to be clear on what question we are…

We recently considered the task of summoning an unknown quantum state and proved necessary and sufficient conditions for Alice to be able to guarantee to complete the task when there may be several possible calls, of which she need only…

We apply a paraconsistent logic to reason about fractions.

A classical probabilistic explanation for Hardy's quantum paradox is demonstrated.

In this paper we present the statement of the Firoozbakht's conjecture, some of its consequences if it is proved and we show a consequence of Zhang's theorem concerning the Firoozbakht's conjecture.

In his paper on the incompleteness theorems, G\"odel seemed to say that a direct way of constructing a formula that says of itself that it is unprovable might involve a faulty circularity. In this note, it is proved that 'direct'…

We outline an approach to prove the two dimensional Jacobian Conjecture using the theory of fractals.

We develop a new method for building forcing iterations with symmetric systems of structures as side conditions. Using our method we prove that the forcing axiom for the class of all the small finitely proper posets is compatible with a…