| Publication | Date of Publication | Type |
|---|
The Inverse of Ackermann Function is Computable in Linear Time
Fundamenta Informaticae | 2022-02-01 | Paper |
Subcomputable Hausdorff function dimension
Theoretical Computer Science | 2021-10-21 | Paper |
Π11‐Martin‐Löf randomness and Π11‐Solovay completeness
Mathematical Logic Quarterly | 2020-05-06 | Paper |
Subcomputable Schnorr randomness
(available as arXiv preprint) | 2017-05-16 | Paper |
\({\Pi}_1^1\)-Martin-Löf random reals as measures of natural open sets
Theoretical Computer Science | 2016-10-21 | Paper |
Random reals as measures of natural open sets
Theoretical Computer Science | 2015-06-01 | Paper |
Model companion and model completion of theories of rings
Archive for Mathematical Logic | 2009-07-24 | Paper |
Rumely domains with atomic constructible Boolean algebra. An effective viewpoint
Notre Dame Journal of Formal Logic | 2008-02-05 | Paper |
A valuation ring analogue of von Neumann regularity
Annals of Pure and Applied Logic | 2007-02-14 | Paper |
A generalization of von Neumann regularity
Annals of Pure and Applied Logic | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 1786653 (Why is no real title available?) | 2003-02-06 | Paper |
Theory of sets or set of theories?
Revue d'Histoire des Sciences | 2001-08-27 | Paper |
Descriptive set theory and Boolean complexity theory
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 1998-11-03 | Paper |
\(\text{NP}\not={co}\)-NP and models of arithmetic
Theoretical Computer Science | 1997-02-28 | Paper |
P, NP, Co-NP and weak systems of arithmetic
Theoretical Computer Science | 1997-02-28 | Paper |
Symmetric submodels of a Cohen generic extension
Annals of Pure and Applied Logic | 1993-04-01 | Paper |
About Prikry generic extensions
Annals of Pure and Applied Logic | 1992-06-25 | Paper |
Chang's model and covering properties
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
The model \(N=\cup \{L[A:\) A countable set of ordinals\(\}\)]
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
\(\omega_ 1\)-constructible universe and measurable cardinals
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
P-points and q-points over a measurable cardinal
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
Non-closure of the image model and absence of fixed points
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
Complexity of κ-ultrafilters and inner models with measurable cardinals
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3767644 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3745153 (Why is no real title available?) | 1981-01-01 | Paper |
