Hierarchies of Tarskian truth predicates
Hierarchies of non self-applicative truth predicates take us beyond Gamma_0.
Researcher profile
Nik Weaver
Nik Weaver contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - Emerging
15works
0followers
8topics
3close collaborators
Actions
Decide how to stay connected
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
15 published item(s)
preprint2016arXiv
A "quantum" Ramsey theorem for operator systems
Let V be a linear subspace of M_n(C) which contains the identity matrix and is stable under the formation of Hermitian adjoints. We prove that if n is sufficiently large then there exists a rank k orthogonal projection P such that dim(PVP) = 1 or k^2.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
On the unique predual problem for Lipschitz spaces
For any metric space X, the predual of Lip(X) is unique. If X has finite diameter or is complete and convex --- in particular, if it is a Banach space --- then the predual of Lip_0(X) is unique.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Quantum measurable cardinals
We investigate states on von Neumann algebras which are not normal but enjoy various forms of infinite additivity, and show that these exist on $B(H)$ if and only if the cardinality of an orthonormal basis of $H$ satisfies various large cardinal conditions. For instance, there is a singular countably additive pure state on $B(l^2(κ))$ if and only if $κ$ is Ulam measurable, and there is a singular ${<}\,κ$-additive pure state on $B(l^2(κ))$ if and only if $κ$ is measurable. The proofs make use of Farah and Weaver's theory of quantum filters. Applications to Ueda's peak set theorem for von Neumann algebras are discussed in the final section.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Detecting Fourier subspaces
Let G be a finite abelian group. We examine the discrepancy between subspaces of l^2(G) which are diagonalized in the standard basis and subspaces which are diagonalized in the dual Fourier basis. The general principle is that a Fourier subspace whose dimension is small compared to |G| = dim(l^2(G)) tends to be far away from standard subspaces. In particular, the recent positive solution of the Kadison-Singer problem shows that from within any Fourier subspace whose dimension is small compared to |G| there is standard subspace which is essentially indistinguishable from its orthogonal complement.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Paradoxes of rational agency and formal systems that verify their own soundness
We consider extensions of Peano arithmetic which include an assertibility predicate. Any such system which is arithmetically sound effectively verifies its own soundness. This leads to the resolution of a range of paradoxes involving rational agents who are licensed to act under precisely defined conditions.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Reasoning about constructive concepts
We find that second order quantification is problematic when a quantified concept variable is supposed to function predicatively. This issue is analyzed and it is shown that a constructive interpretation of the falling under relation suffices to resolve the difficulty. We are then able to present a formal system for reasoning about concepts. We prove that this system is consistent and we investigate the extent to which it is able to interpret set theoretic and number theoretic systems of a more standard type.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
The Kadison-Singer problem in discrepancy theory, II
We apply Srivastava's spectral sparsification technique to a vector balancing version of the Kadison-Singer problem. The result is a one-sided version of the conjectured solution.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
The semantic conception of proof
We analyze the informal semantic conception of proof and axiomatize the proof relation and the provability operator. A self referential propositional calculus which admits provable liar type sentences is introduced and proven consistent. We also investigate the problem of interpreting arbitrary formal systems in systems which include a provability operator.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Kinds of concepts
The central focus is on clarifying the distinction between sets and proper classes. To this end we identify several categories of concepts (surveyable, definite, indefinite), and we attribute the classical set theoretic paradoxes to a failure to appreciate the distinction between surveyability and definiteness.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Truth and the liar paradox
We analyze the informal notion of truth and conclude that it can be formalized in essentially two distinct ways: constructively, in terms of provability, or classically, as a hierarchy of concepts which satisfy Tarski's biconditional in limited settings. This leads to a complete resolution of the liar paradox.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
A von Neumann algebra approach to quantum metrics
We propose a new definition of quantum metric spaces, or W*-metric spaces, in the setting of von Neumann algebras. Our definition effectively reduces to the classical notion in the atomic abelian case, has both concrete and intrinsic characterizations, and admits a wide variety of tractable examples. A natural application and motivation of our theory is a mutual generalization of the standard models of classical and quantum error correction.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Constructive truth and circularity
We propose a constructive interpretation of truth which resolves the standard semantic paradoxes.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Intuitionism and the liar paradox
The concept of informal mathematical proof considered in intuitionism is apparently vulnerable to a version of the liar paradox. However, a careful reevaluation of this concept reveals a subtle error whose correction blocks the contradiction. This leads to a general resolution of the classical semantic paradoxes. This paper is an expanded version of parts of my earlier paper "Constructive truth and circularity" [arXiv:0905.1681].
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Quantum relations
We define a "quantum relation" on a von Neumann algebra M \subset B(H) to be a weak* closed operator bimodule over its commutant M'. Although this definition is framed in terms of a particular representation of M, it is effectively representation independent. Quantum relations on l^\infty(X) exactly correspond to subsets of X^2, i.e., relations on X. There is also a good definition of a "measurable relation" on a measure space, to which quantum relations partially reduce in the general abelian case. By analogy with the classical setting, we can identify structures such as quantum equivalence relations, quantum partial orders, and quantum graphs, and we can generalize Arveson's fundamental work on weak* closed operator algebras containing a masa to these cases. We are also able to intrinsically characterize the quantum relations on M in terms of families of projections in M \otimes B(l^2).
0 citations0 reviewsNo code linkedOpen access