Related papers: Separating Subversion Forcing Axioms

We introduce a quantum-like classical computational model, called affine computation, as a generalization of probabilistic computation. After giving the basics of affine computation, we define affine finite automata (AfA) and compare it…

In this paper, we investigate the proof complexity of a wide range of substructural systems. For any proof system $\mathbf{P}$ at least as strong as Full Lambek calculus, $\mathbf{FL}$, and polynomially simulated by the extended Frege…

We extend the superembedding formalism for 4D N=1 superconformal field theory (SCFT) to the case of fields in arbitrary representations of the superconformal group SU(2,2|1). As applications we obtain manifestly superconformally covariant…

Let C be a non-empty finite set, and Gamma a subgroup of the symmetric group S(C). Given a bijection f:A cross C to B cross C, the problem of Gamma-equivariant division is to find a quotient bijection h:A to B respecting whatever symmetries…

We investigate the provability of classical combinatorial theorems in ZF. Using combinatorial arguments, we establish the following results for each infinite cardinal ${\kappa}\in On$, (1) ${\kappa}^+\to ({\kappa},{\omega}+1)$, (2) any…

We study a scale invariant two measures theory where a dilaton field \phi has no explicit potentials. The scale transformations include a shift \phi\to\phi+const. The theory demonstrates a new mechanism for gene- ration of the exponential…

We investigate fragments of generic absoluteness principles known as Maximality Principles. We determine the consistency strength of $\Sigma_n$-$\mathsf{MP}(\mathbb R)$ and $\Pi_n$-$\mathsf{MP}(\mathbb R)$, the boldface Maximality Principle…

We prove in ZFC that for mu >= aleph_2 there is a sigma --ideal I on mu and a Boolean sigma --subalgebra B of the family of subsets of mu which includes I such that the natural homomorphism from B onto B/I cannot be lifted.

In this paper, we use character-theoretic techniques to give new nonexistence results for $(n,m,k,\lambda)$-strong external difference families (SEDFs). We also use cyclotomic classes to give two new classes of SEDFs with $m=2$.

This paper from 2012 is the second in a series of three papers. All three papers deal with interpretability logics and related matters. In the first paper a construction method was exposed to obtain models of these logics. Using this…

This is the second part, after [1], of the research devoted to analysis of 1-ports composed of similar conductors ("f-circuits") described by the characteristic i = f(v) of a polynomial type. This analysis is performed by means of the…

We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle.

In \cite{Craig}, we introduced a syntactically defined and highly general class of calculi known as \emph{semi-analytic}. We then demonstrated that any sufficiently strong (modal) substructural logic with a semi-analytic calculus must…

For an arbitrary forcing class $\Gamma$, the $\Gamma$-fragment of Todorcevic's strong reflection principle SRP is isolated in such a way that (1) the forcing axiom for $\Gamma$ implies the $\Gamma$-fragment of SRP, (2) the stationary set…

We consider convex sets and functions over idempotent semifields, like the max-plus semifield. We show that if $K$ is a conditionally complete idempotent semifield, with completion $\bar{K}$, a convex function $K^n\to\bar{K}$ which is lower…

The primary purpose of this article is to show that a certain natural set of axioms yields a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely)…

We show that the third order approximation function $M_f$, proposed by S. Amat, S. Busquier, S. Plaza, in \textit{J. Math. Anal. Appl.}, 366(2010), 24--32, for functions $f$ twice continuously differentiable and such that both $f$ and its…

Perfect paradefinite algebras are De Morgan algebras expanded with an operation that allows for the full behavior of classical negation to be restored. They form a variety that is term-equivalent to the variety of involutive Stone algebras.…

We study finite state transduction of automatic and morphic sequences. Dekking proved that morphic sequences are closed under transduction and in particular morphic images. We present a simple proof of this fact, and use the construction in…

This paper mainly studies nonnegativity decision of forms based on variable substitutions. Unlike existing research, the paper regards simplex subdivisions as new perspectives to study variable substitutions, gives some subdivisions of the…