Showing 1–2 of 2 results for author: Nguyen, P K L V

Algorithmic randomness for Doob's martingale convergence theorem in continuous time

Authors: Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen, Jason Rute

Abstract: We study Doob's martingale convergence theorem for computable continuous time martingales on Brownian motion, in the context of algorithmic randomness. A characterization of the class of sample points for which the theorem holds is given. Such points are given the name of Doob random points. It is shown that a point is Doob random if its tail is computably random in a certain sense. Moreover, Doob… ▽ More We study Doob's martingale convergence theorem for computable continuous time martingales on Brownian motion, in the context of algorithmic randomness. A characterization of the class of sample points for which the theorem holds is given. Such points are given the name of Doob random points. It is shown that a point is Doob random if its tail is computably random in a certain sense. Moreover, Doob randomness is strictly weaker than computable randomness and is incomparable with Schnorr randomness. △ Less

Submitted 16 December, 2014; v1 submitted 1 November, 2014; originally announced November 2014.

Journal ref: Logical Methods in Computer Science, Volume 10, Issue 4 (December 18, 2014) lmcs:978

The Strength of the Grätzer-Schmidt Theorem

Authors: Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen, William A. Lampe, Paul Kim Long V. Nguyen, Richard A. Shore

Abstract: The Grätzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. We study the reverse mathematics of this theorem. We also show that the set of indices of computable lattices that are complete is $Πぱい^1_1$-complete; the set of indices of computable lattices that are algebraic is $Πぱい^1_1$-complete; the set of compact elements of… ▽ More The Grätzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. We study the reverse mathematics of this theorem. We also show that the set of indices of computable lattices that are complete is $Πぱい^1_1$-complete; the set of indices of computable lattices that are algebraic is $Πぱい^1_1$-complete; the set of compact elements of a computable lattice is $Πぱい^{1}_{1}$ and can be $Πぱい^1_1$-complete; and the set of compact elements of a distributive computable lattice is $Πぱい^{0}_{3}$, and there is an algebraic distributive computable lattice such that the set of its compact elements is $Πぱい^0_3$-complete. △ Less

Submitted 4 January, 2019; v1 submitted 9 August, 2014; originally announced August 2014.

Comments: This journal version replaces the conference version (Computability in Europe, Lecture Notes in Computer Science 5635 (2009), 59--67)

MSC Class: 03D

Journal ref: Archive for Mathematical Logic 55 (2016), no. 5, 687--704