56 citations · 129 across the 40 of their papers we have counts for
50 papers
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 and…
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…
Hierarchies of Tarskian truth predicates
Nik Weaver
Hierarchies of non self-applicative truth predicates take us beyond Gamma_0.
Lipschitz Bernoulli utility functions
Efe A. Ok, Nik Weaver
We obtain variants of the classical von Neumann-Morgenstern expected utility theorem, with and without the completeness axiom, in which the derived Bernoulli utility functions are…