Claude Sureson

Available identifiers

zbMath Open sureson.claudeMaRDI QIDQ329715

List of research outcomes

Publication	Date of Publication	Type
The Inverse of Ackermann Function is Computable in Linear Time	2022-02-01	Paper
Subcomputable Hausdorff function dimension	2021-10-21	Paper
Π11‐Martin‐Löf randomness and Π11‐Solovay completeness	2020-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q2985124	2017-05-16	Paper
\({\Pi}_1^1\)-Martin-Löf random reals as measures of natural open sets	2016-10-21	Paper
Random reals as measures of natural open sets	2015-06-01	Paper
Model companion and model completion of theories of rings	2009-07-24	Paper
Rumely domains with atomic constructible Boolean algebra. An effective viewpoint	2008-02-05	Paper
A valuation ring analogue of von Neumann regularity	2007-02-14	Paper
A generalization of von Neumann regularity	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4547961	2003-02-06	Paper
Théorie des Ensembles ou ensemble de théories?/The Theory of Sets or set of theories ?	2001-08-27	Paper
Descriptive set theory and Boolean complexity theory	1998-11-03	Paper
\(\text{NP}\not={co}\)-NP and models of arithmetic	1997-02-28	Paper
P, NP, Co-NP and weak systems of arithmetic	1997-02-28	Paper
Symmetric submodels of a Cohen generic extension	1993-04-01	Paper
About Prikry generic extensions	1992-06-25	Paper
Chang's model and covering properties	1989-01-01	Paper
The model \(N=\cup \{L[A:\) A countable set of ordinals\(\}\)]	1987-01-01	Paper
\(\omega_ 1\)-constructible universe and measurable cardinals	1986-01-01	Paper
P-points and q-points over a measurable cardinal	1985-01-01	Paper
Non-closure of the image model and absence of fixed points	1985-01-01	Paper
Complexity of κ-ultrafilters and inner models with measurable cardinals	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3949040	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3931381	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Claude Sureson