Connecting the generalized robustness and the geometric measure of entanglement

The main goal of this paper is to provide a connection between the generalized robustness of entanglement ($R_g$) and the geometric measure of entanglement ($E_{GME}$). First, we show that the generalized robustness is always higher than or equal to the geometric measure. Then we find a tighter lower bound to $R_g(\rho)$ based only on the purity of $\rho$ and its maximal overlap to a separable state. As we will see it is also possible to express this lower bound in terms of $E_{GME}$.Comment: 4 pages, 2 figures. Comments welcome. v2: text improved - some completely symmetric states were used to illustrate the results. Comments are always welcome! v3: minor changes. Accepted by Phys. Rev. A. v4: results on symmetric states fixe

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

Turing jumps through provability

Fixing some computably enumerable theory $T$, the Friedman-Goldfarb-Harrington (FGH) theorem says that over elementary arithmetic, each $\Sigma_1$ formula is equivalent to some formula of the form $\Box_T \varphi$ provided that $T$ is consistent. In this paper we give various generalizations of the FGH theorem. In particular, for $n>1$ we relate $\Sigma_{n}$ formulas to provability statements $[n]_T^{\sf True}\varphi$ which are a formalization of "provable in $T$ together with all true $\Sigma_{n+1}$ sentences". As a corollary we conclude that each $[n]_T^{\sf True}$ is $\Sigma_{n+1}$-complete. This observation yields us to consider a recursively defined hierarchy of provability predicates $[n+1]^\Box_T$ which look a lot like $[n+1]_T^{\sf True}$ except that where $[n+1]_T^{\sf True}$ calls upon the oracle of all true $\Sigma_{n+2}$ sentences, the $[n+1]^\Box_T$ recursively calls upon the oracle of all true sentences of the form $\langle n \rangle_T^\Box\phi$. As such we obtain a `syntax-light' characterization of $\Sigma_{n+1}$ definability whence of Turing jumps which is readily extended beyond the finite. Moreover, we observe that the corresponding provability predicates $[n+1]_T^\Box$ are well behaved in that together they provide a sound interpretation of the polymodal provability logic ${\sf GLP}_\omega$

Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most

This paper proposes a way to compute the meanings associated with sentences with generic noun phrases corresponding to the generalized quantifier most. We call these generics specimens and they resemble stereotypes or prototypes in lexical semantics. The meanings are viewed as logical formulae that can thereafter be interpreted in your favourite models. To do so, we depart significantly from the dominant Fregean view with a single untyped universe. Indeed, our proposal adopts type theory with some hints from Hilbert \epsilon-calculus (Hilbert, 1922; Avigad and Zach, 2008) and from medieval philosophy, see e.g. de Libera (1993, 1996). Our type theoretic analysis bears some resemblance with ongoing work in lexical semantics (Asher 2011; Bassac et al. 2010; Moot, Pr\'evot and Retor\'e 2011). Our model also applies to classical examples involving a class, or a generic element of this class, which is not uttered but provided by the context. An outcome of this study is that, in the minimalism-contextualism debate, see Conrad (2011), if one adopts a type theoretical view, terms encode the purely semantic meaning component while their typing is pragmatically determined