jennifer chubb

research interests

logic and foundations of mathematics, computability, computable structure theory, ordered structures, computable algebraic structures, decision problems in group theory

also, quantum computing, algorithmic learning theory, computational complexity, dynamics, chaos, neuroscience & the brain, AI, astronomy & telescopes

publications

Spectra of describable relations on computable structures. (In prep.)
Detection properties in relational structures. (In prep.)
Trees of orders of algebraic structures: algorithmic and topological properties. (In prep.)
Complexity of properties of computable magmas, with Valentina Harizanov & Dario Verta. To appear in a forthcoming volume of the AMS series Contemporary Mathematics.
Model completeness and relative decidability, with Russell Miller and Reed Solomon. Archive for Mathematical Logic, 60 (2021) 721-735.
Detecting properties from descriptions of groups, with Sam Roven and Iva Bilanovic. Archive for Mathematical Logic 59 (2019) 293--312.
Groups with orderings of arbitrary algorithmic complexity, co-authored with M. Dabkowski and V. Harizanov. Singapore Program on Sets and Computations, IMS Lecture Notes Series Vol. 33, Eds. S. Friedman, D. Raghavan, and Y.Yang, World Scientific Press (2017).
Logic & Algebraic Structures in Quantum Computing, co-edited with V. Harizanov and A. Eskandarian. For the Association of Symbolic Logic series Lecture Notes in Logic, published by the ASL in conjunction with Cambridge University Press (2016).
A (very) brief tour of quantum mechanics, computation, and category theory, with Valentina Harizanov. Appears in Logic & Algebraic Structures in Quantum Computing, co-edited with V. Harizanov and A. Eskandarian (2016).
Approximating functions and measuring distance on a graph, co-authored with W. Calvert and R. Miller. Proceedings of the 2011 Asian Logic Conference, Eds. R. Downey, R. Goldblatt, J. Brendle, and B. Kim (2011).
Degree spectra of the successor relation of computable linear orderings, co-authored with A. Frolov, and V. Harizanov. Archive for Mathematical Logic 48 (2009) 7–13.
Reverse mathematics, computability, and partitions of trees, co-authored with J. Hirst and T. McNicholl. Journal of Symbolic Logic 74 (2009) 201–215.
Partial automorphism semigroups, co-authored with V. Harizanov, A. Morozov, S. Pingrey, E. Ufferman. Annals of Pure and Applied Logic 156 (2008) 245–258.
Pi-0-1 classes and strong degree spectra of relations, co-authored with J. Chisholm, V. Harizanov, D. Hirschfeldt, C. Jockusch, T. McNicholl, and S. Pingrey. Journal of Symbolic Logic 72 (2007), pp. 1003--1018.
Ordered structures and computability, Ph.D. Dissertation at George Washington University under Valentina Harizanov (2009) 98 pages.
The breakdown of synchronization in systems of non-identical chaotic oscillators: theory and experiment, co-authored with E. Barretto, P. So, and B. Gluckman. International Journal of Bifurcation and Chaos. Vol. 10, No. 11 (2001) 2705-2713.