12 citations · 66 across the 25 of their papers we have counts for
Showing 2011 · math.LOShow all
3 papers · 2 filters
math.LO2011
A Dichotomy in Machine Knowledge
Samuel Alexander
We show that a machine, which knows basic logic and arithmetic and basic axioms of knowledge, and which is factive (knows nothing false), can either know that it is factive, or kno…
math.LO2011
A Cantor-Bendixson-like process which detects Delta_2^0
Samuel Alexander
For each subset of Baire space, we define, in away similar to a common proof of the Cantor-Bendixson Theorem, a sequence of decreasing subsets S_alpha of N^N, indexed by ordinals.…
math.LO2011★ 1 cited
Highly lopsided information and the Borel hierarchy
Samuel Alexander
In a game where both contestants have perfect information, there is a strict limit on how perfect that information can be. By contrast, when one player is deprived of all informati…