5 papers
On the unique predual problem for Lipschitz spaces
Nik Weaver
For any metric space X, the predual of Lip(X) is unique. A previous version of this manuscript, which is also the published version (Math. Prof. Cambridge Philos. Soc. 165 (2018),…
Linear and matrix generalizations of some combinatorial min-max theorems
Nik Weaver
We review known linear and matrix generalizations of Hall's classic ``marriage theorem'' and KÅnig's theorem on partial matchings in bipartite graphs, and relate them to linear an…
A formal system for reasoning about assertibility, truth, and meaningfulness
Nik Weaver
We propose axioms governing the interaction of constructive assertibility and meaningfulness predicates with a self-applicative truth predicate characterized by the T-scheme, and w…
Triangle-free quantum graphs
Nik Weaver
We introduce notions of being "triangle-free" and "strongly triangle-free" for operator systems in M_n(C) considered as quantum graphs. Several examples and non-examples are discus…
Truth and meaningfulness
Nik Weaver
I outline a new theory of truth that resolves the classical and constructive versions of the liar paradox. The theory features a provably consistent axiomatization of a global self…