Effectively Closed Sets (with Jeffrey B. Remmel), Perspective in Logic, Cambridge U. Press,
350 pages, to appear.
DRAFT

Extraction Rates of Random Continuous Functionals (with Cameron Fraize and Christopher Porter), UCNC 2023, Springer Lecture Notes in Computer Science 14003 (2023),
46-63.

Generically Computable Abelian Groups (with Wesley Calvert and Valentina Harizanov), UCNC 2023, Springer Lecture Notes in Computer Science 14003 (2023), 46-63.

Computability and Categoricity of Weakly Homogeneous Boolean Algebras and Abelian p-Groups (with Francis Adams and Selwyn Ng),
in \emph{Aspects of Computation and Automata with Applications}, World Scientific Press IMS LNS 42 (2023), 141-158.
ABSTRACT </a

Randomness Extraction in Computability Theory (with Chris Porter), Computability 12 (2023), 1-21.
DOI: 10.3233/COM-210343
ABSTRACT, ARTICLE at ArXiv

Complexity of Injection Structures Induced by Finite State Transducers (with Richard Krogman), J. Logic and Computation 32 (2022), 1504-1530.

Generically and Coarsely Computable Isomorphisms (with Wesley Calvert and Valentina Harizanov),
Computability 11 (2022), 223-239.
DOI: 10.3233/COM-210382

The Isomorphism Problem for FST Injection Structures (with Richard Krogman), LFCS 2022, Springer Lecture Notes in Computer Science 13137, eds. Sergei Artemov and Anil Nerode (2022), 25-36.

Densely computable structures (with Wesley Calvert and Valentina Harizanov), J. Logic and Computation 32 (2022), 581-607.
DOI: 10.1093/logcom/exab057
ABSTRACT

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic,
Volume 2: Foundations of Mathematics (Jean Larson, Chris Porter and Jindrich Zapletal), World Scientific Press (2022).

Complexity and Categoricity of Injection Structures Induced by Finite State Transducers (with Richard Krogman), in \emph{Connecting with Computability},
17th Conference on Computability in Europe, Ghent, July 2021, editors Liesbeth De Mol, Andreas Weiermann, Florin Manea and David Fernandez-Duque, Springer Lecture Notes in Computer Science 12813 (2021), 106-119.
ABSTRACT

Structure and Randomness in Computability and Set Theory (edited with Chris Porter and Jindrich Zapletal), World Scientific Press (2020), 366 pages.

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic,
Volume 1: Set Theory(Jean Larson, Chris Porter and Jindrich Zapletal) , World Scientific Press (2020), 209 pages

On the complexity of index sets for finite predicate logic programs which allow function symbols (with V.W. Marek and J.B. Remmel),
J. Logic and Computation 30 (2020), 107-156.
ABSTRACT

Effective categoricity of automatic equivalence and nested equivalence structures (with Jacob Carson and Jeffrey Remmel), Theory of Computing Systems 64 (2020), 1110-1139.
ABSTRACT

Logic Programming and Effectively Closed Sets (with V.W. Marek and J.B. Remmel), in Structure and Randomness in Computability and Set Theory, World Scientific Press (2020), 197-283.
ABSTRACT

Computability and differentiability of functions on the Cantor space (with Diego Rojas), CiE 2018, Springer Lecture Notes in Computer Science 10936 (2018), 136-145.
ABSTRACT

The random members of a $\Pi^0_1$ class (with C. Porter), Theory of Computing Systems, 62 (2018) 1637-1671.
ABSTRACT, ARTICLE at ArXiv

The probability of a computable output from a random oracle (with G. Barmpalias and C. Porter), ACM Transactions on Computational Logic 18 (2017), 15 pp.
ABSTRACT, ARTICLE at ArXiv

Injection structures specified by finite state transducers (with S. Buss, M. Minnes, and J.B. Remmel), in Computability and Complexity (Downey Festschrift, New Zealand, 2016), Springer Lecture Notes in Computer Science, Vol. 10010 (2017), 1-24.
ABSTRACT and ARTICLE

Random numbers as probabilities of machine behaviour (with G. Barmpalias and C. Porter), Theoretical Computer Science, 673 (2017), 1-18.
ABSTRACT, ARTICLE at ArXiv

Computability and Categoricity of Weakly Ultrahomogeneous Structures (with F. Adams), Computability 6 (2017), 365-389.
ABSTRACT, ARTICLE at ArXiv

Index sets for finite normal predicate logic programs with function symbols (with V. Marek and J.B. Remmel), in Logical Foundations of Computer Science (LFCS 2016),Springer Lecture Notes in Computer Science vol. 9537 (2015), 60-75.

Algorithmically random functions and effective capacities (with C. Porter),
Theory and Methods of Computation (TAMC 2015), Springer Lecture Notes in Mathematics 9076 (2015), 22-37.
ABSTRACT, ARTICLE at ArXiv

Computability and categoricity of ultrahomogeneous structures (with F. Adams), in \emph{Language, Life, Limits (Proceedings of CiE 2014 ,Computability in Europe)}, Springer
Lecture Notes in Computer Science 8493 (2014), 1-10.

Sub-computable Bounded Randomness (with S. Buss and J.B. Remmel), Logical Methods in Computer Science 10 (2014).
ABSTRACT, ARTICLE at ArXiv

Two-to-One Structures  (with V. Harizanov and J. Remmel), Journal of Logic and Computation 23 (2013), 1195-1223.
ABSTRACT and ARTICLE

Computability theoretic properties of injection structures  (with V. Harizanov and J. Remmel), Algebra and Logic 53 (2014), 39-69.
ABSTRACT and ARTICLE

Index sets for finite normal predicate logic programs  (with V.W. Marek and J.B. Remmel)
ABSTRACT and E-Print at arxiv

Effective randomness of unions and intersections  (with R. Weber), Theory of Computing Systems 52(2013), 48-64.
ABSTRACT and ARTICLE

A connection between the Cantor-Bendixson derivative and the well-founded semantics of logic programs (with J.B. Remmel), Annals of Mathematics and Artificial Intelligence 65 (2012), 1-24.
ABSTRACT and ARTICLE
First appeared in online proceedings of ISAIM 2008, The Tenth International Symposium on Artificial Intelligence and Mathematics (Fort Lauderdale, 2008), 8 pages.

Computability of countable subshifts in one dimension (with A. Dashti, F. Toska and S. Wyman),  Theory of Computing Systems 51 (2012), 352-371.
ABSTRACT and ARTICLE

Algorithmic capacity and randomness of closed sets  (with Paul Brodhead, F. Toska and S. Wyman) , Logical Methods in Computer Science 6 (2011), 1-16.
ABSTRACT and ARTICLE

$\sigma^0_1$ and $\Pi^0_1$ structures (with V. Harizanov and J.B. Remmel),
Annals of Pure and Applied Logic 162 (2011), 490-503.
ABSTRACT and ARTICLE

A superhigh diamond in the c.e.\ $tt$-degrees (with J. Franklin, Jiang Lu and Guohua Wu),  Arch. Math. Logic 50 (2011), 33-44.
ABSTRACT and ARTICLE

Immunity and non-cupping for closed sets (with T. Kihara, R. Weber and G. Wu), Tbilisi Math. Journal 2 (2009), 77-94
ABSTRACT and ARTICLE

Equivalence Structures and Isomorphisms in the Difference Hierarchy (with G. LaForte and J.B. Remmel), Journal of Symbolic Logic 74 (2009), 535-556.
ABSTRACT and ARTICLE

Effective Categoricity of Abelian p-Groups (with W. Calvert, V. Harizanov and A. Morozov) ,  Annals of Pure and Applied Logic 159 (2009), 187-197.
ABSTRACT and ARTICLE

Special Year in Logic–Model Theory and Computable Model Theory (edited with Valentina Harizanov, David Marker and Carol Wood), Archive for Mathematical Logic 48 (2009), 1-6.
ARTICLE

Space Complexity of Abelian Groups (with R. Downey, J.B. Remmel and Z. Uddin) ,
Archive for Math. Logic 48 (2009), 63-76.
ABSTRACT and ARTICLE

Pseudojumps and Pi-0-1 classes  (with G. Laforte and G. Wu), J. Logic and Computation 19 (2009), 77-87.
ABSTRACT and ARTICLE

$K$-triviality of closed sets and continuous functions (with G. Barmpalias, J. Remmel and R. Weber) Journal of Logic and Computation 19 (2009), 3-16.
ABSTRACT and ARTICLE

Linear orders with distinguished function symbol (with B. Csima and B. Khoussainov), Archive for Mathematical Logic 48 (2009), 115-140.
ABSTRACT and ARTICLE

Computable symbolic dynamics (with S. Ali Dashti and J.L.F. King)
Mathematical Logic Quarterly 54 (2008), 524-533.
ABSTRACT and ARTICLE

Special Year in Logic–Computability and Complexity in Analysis (edited with Rebecca Weber), Archive for Mathematical Logic 45 (2008), 529-531.
ARTICLE

Degrees of difficulty of generalized r.e. separating classes (with Peter Hinman), Archive for Mathematical Logic 45 (2008), 629-647.
ABSTRACT and ARTICLE
First appeared as Medvedev degrees of generalized r.e. separating classes
Proc. CCA 2006, D. Cenzer, R. Dillhage, T. Grubb and Klaus Weihrauch (eds.): Third International Conference on Computability and Complexity in Analysis, Information Berichte, FernUniversit\”{a}t (2006), 125-142, and Springer Electronic Notes in Computer Science 167 (2007), 203-223.

Effectively closed sets and enumerations (with Paul Brodhead) Archive for Mathematical Logic 45 (2008), 565-582.
ABSTRACT and ARTICLE

Algorithmic Randomness of Continuous Functions (with G. Barmpalias, P. Brodhead, J.B. Remmel and R. Weber) Archive for Mathematical Logic 45 (2008), 533-546.
ABSTRACT and ARTICLE

Algorithmic Randomness of Closed Sets (with G. Barmpalias, P. Brodhead and A. S. Dashti and R. Weber) Journal for Logic and Computation, 17 (2007), 1041-1062.
ABSTRACT and ARTICLE

Proceedings CCA 2006, Third International Conference on Computability and Complexity in Analysis, (edited with R. Dillhage, T. Grubb and Klaus Weihrauch)
Information Berichte FernUniversit\”{a}t Hagen (2006), and Springer Electronic Notes in Computer Science 167 (2007).
ARTICLE

On the complexity of inductive definitions (with J. Remmel) Mathematical Structures in Computer Science 16 (2006), 763-788.
ABSTRACT and ARTICLE

Complexity, decidability and completeness (with J. Remmel) Journal of Symbolic Logic 71 (2006), 399-424.
ABSTRACT and ARTICLE

Effective categoricity of Equivalence Structures (with W. Calvert, V. Harizanov and A. Morozov) Annals of Pure and Applied Logic, 141 (2006), 61-78.
ABSTRACT and ARTICLE

Logic programming with infinite sets, (with W. Marek and J. Remmel)
Annals of Artificial Intelligence and Mathematics 44 (2005), 309–339.
ABSTRACT and ARTICLE

Minimal Extensions of Pi-0-1 Classes, (with F. Riazati) Mathematical Logic Quarterly 51 (2005), 206-216.
ABSTRACT
and ARTICLE

Proof-Theoretic Strength of the Stable Marriage Theorem and Other Problems (with J. Remmel) “Reverse Mathematics”, edited by S. Simpson, ASL Lecture Notes in Logic 21, AK Peters (2005), 67–103.
ABSTRACT and ARTICLE

Index sets for computable differential equations, (with J. Remmel)
Mathematical Logic Quarterly 50 (2004), 329-344.
ABSTRACT and ARTICLE

Locally determined logic programs and recursive stable models (with J. Remmel and A. Vanderbilt) Annals of Mathematics and Artificial Intelligence 40 (2004), 225-262.
ABSTRACT and ARTICLE