Claude Sureson

22 papers Journal 22

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Subcomputable Hausdorff function dimension. Theor. Comput. Sci. Claude Sureson
2021	J	`jnl`	The Inverse of Ackermann Function is Computable in Linear Time. Fundam. Informaticae Claude Sureson
2021	J	`jnl`	The inverse of Ackermann function is computable in linear time. CoRR Claude Sureson
2019	J	`jnl`	Π 1 1 -Martin-Löf randomness and Π 1 1 -Solovay completeness. Math. Log. Q. Claude Sureson
2017	J	`jnl`	Subcomputable Schnorr Randomness. Log. Methods Comput. Sci. Claude Sureson
2016	J	`jnl`	π Theor. Comput. Sci. Claude Sureson
2015	J	`jnl`	Random reals as measures of natural open sets. Theor. Comput. Sci. Claude Sureson
2009	J	`jnl`	Model companion and model completion of theories of rings. Arch. Math. Log. Claude Sureson
2007	J	`jnl`	A valuation ring analogue of von Neumann regularity. Ann. Pure Appl. Log. Claude Sureson
2007	J	`jnl`	Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint. Notre Dame J. Formal Log. Claude Sureson
2005	J	`jnl`	A generalization of von Neumann regularity. Ann. Pure Appl. Log. Claude Sureson
2002	J	`jnl`	Analytic sets in Descriptive Set Theory and NP sets in Complexity Theory. Fundam. Informaticae Claude Sureson
1996	J	`jnl`	P, NP, Co-NP and Weak Systems of Arithmetic. Theor. Comput. Sci. Claude Sureson
1995	J	`jnl`	NP != co-NP and Models of Arithmetic. Theor. Comput. Sci. Claude Sureson
1992	J	`jnl`	Symmetric Submodels of a Cohen Generic Extension. Ann. Pure Appl. Log. Claude Sureson
1991	J	`jnl`	About Prikry Generic Extensions. Ann. Pure Appl. Log. Claude Sureson
1989	J	`jnl`	Chang's Model and Covering Properties. Ann. Pure Appl. Log. Claude Sureson
1987	J	`jnl`	The model N = ∪ {L[A]: A countable set of ordinals}. Ann. Pure Appl. Log. Claude Sureson
1986	J	`jnl`	ω Ann. Pure Appl. Log. Claude Sureson
1985	J	`jnl`	Non-closure of the image model and absence of fixed points. Ann. Pure Appl. Log. Claude Sureson
1985	J	`jnl`	P-points and Q-points over a measurable cardinal. Ann. Pure Appl. Log. Claude Sureson
1984	J	`jnl`	Complexity of kappa-Ultrafilters and Inner Models with Measurable Cardinals. J. Symb. Log. Claude Sureson