+
PDF
Chat
|
Computable $K$-theory for $\mathrm{C}^*$-algebras: UHF algebras
|
2025
|
Christopher J. Eagle
Isaac Goldbring
Timothy H. McNicholl
Russell Miller
|
+
PDF
Chat
|
Evaluative presentations
|
2024
|
Timothy H. McNicholl
|
+
PDF
Chat
|
Computable Gelfand Duality
|
2024
|
Peter Burton
Christopher J. Eagle
Alec Fox
Isaac Goldbring
Matthew Harrison-Trainor
Timothy H. McNicholl
Alexander Melnikov
Teerawat Thewmorakot
|
+
|
Hyperarithmetic Numerals
|
2024
|
Caleb M. H. Camrud
Timothy H. McNicholl
|
+
PDF
Chat
|
On the complexity of the theory of a computably presented metric structure
|
2023
|
Caleb Camrud
Isaac Goldbring
Timothy H. McNicholl
|
+
PDF
Chat
|
Effective notions of weak convergence of measures on the real line
|
2022
|
Timothy H. McNicholl
Diego A. Rojas
|
+
|
Hyperarithmetic numerals
|
2022
|
Caleb M. H. Camrud
Timothy H. McNicholl
|
+
|
On the complexity of the theory of a computably presented metric structure
|
2021
|
Caleb Camrud
Isaac Goldbring
Timothy H. McNicholl
|
+
|
Effective notions of weak convergence of measures on the real line
|
2021
|
Timothy H. McNicholl
Diego Rojas
|
+
PDF
Chat
|
Computing the exponent of a Lebesgue space
|
2020
|
Timothy H. McNicholl
|
+
PDF
Chat
|
Degrees of and lowness for isometric isomorphism
|
2020
|
Johanna N. Y. Franklin
Timothy H. McNicholl
|
+
PDF
Chat
|
ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES
|
2020
|
Tyler Brown
Timothy H. McNicholl
Alexander Melnikov
|
+
PDF
Chat
|
Continuous logic and embeddings of Lebesgue spaces
|
2020
|
Timothy H. McNicholl
|
+
|
Computing the exponent of a Lebesgue space
|
2019
|
Timothy H. McNicholl
|
+
|
Degrees of and lowness for isometric isomorphism
|
2019
|
Johanna N. Y. Franklin
Timothy H. McNicholl
|
+
PDF
Chat
|
Analytic computable structure theory and $$L^p$$-spaces part 2
|
2019
|
Tyler Brown
Timothy H. McNicholl
|
+
|
On the complexity of classifying Lebesgue spaces
|
2019
|
Tyler Brown
Alexander Melnikov
Timothy H. McNicholl
|
+
|
Computing the exponent of a Lebesgue space
|
2019
|
Timothy H. McNicholl
|
+
|
Degrees of and lowness for isometric isomorphism
|
2019
|
Johanna N. Y. Franklin
Timothy H. McNicholl
|
+
|
On the complexity of classifying Lebesgue spaces
|
2019
|
Tyler N. Brown
Alexander Melnikov
Timothy H. McNicholl
|
+
PDF
Chat
|
Analytic computable structure theory and $L^p$ spaces
|
2018
|
Joe Clanin
Timothy H. McNicholl
D. M. Stull
|
+
PDF
Chat
|
Algorithmic Randomness and Fourier Analysis
|
2018
|
Johanna N. Y. Franklin
Timothy H. McNicholl
Jason Rute
|
+
|
Continuous logic and embeddings of Lebesgue spaces
|
2018
|
Timothy H. McNicholl
|
+
PDF
Chat
|
The Isometry Degree of a Computable Copy of $$\ell ^p$$
|
2018
|
Timothy H. McNicholl
D. M. Stull
|
+
|
Analytic computable structure theory and $L^p$-spaces part 2
|
2018
|
Tyler N. Brown
Timothy H. McNicholl
|
+
|
Continuous logic and embeddings of Lebesgue spaces
|
2018
|
Timothy H. McNicholl
|
+
|
Analytic computable structure theory and $L^p$-spaces part 2
|
2017
|
Tyler Brown
Timothy H. McNicholl
|
+
|
Analytic computable structure theory and $L^p$ spaces
|
2017
|
Joe Clanin
Timothy H. McNicholl
D. M. Stull
|
+
|
Computable copies of ℓ p 1
|
2016
|
Timothy H. McNicholl
|
+
|
Algorithmic randomness and Fourier analysis
|
2016
|
Johanna N. Y. Franklin
Timothy H. McNicholl
Jason Rute
|
+
PDF
Chat
|
Asymptotic density and the coarse computability bound
|
2016
|
Denis R. Hirschfeldt
Carl G. Jockusch
Timothy H. McNicholl
Paul E. Schupp
|
+
|
The isometry degree of a computable copy of $\ell^p$
|
2016
|
Timothy H. McNicholl
D. M. Stull
|
+
|
Algorithmic randomness and Fourier analysis
|
2016
|
Johanna N. Y. Franklin
Timothy H. McNicholl
Jason Rute
|
+
PDF
Chat
|
Carathéodory’s Theorem and moduli of local connectivity
|
2015
|
Timothy H. McNicholl
|
+
|
Asymptotic density and the coarse computability bound
|
2015
|
Denis R. Hirschfeldt
Carl G. Jockusch
Timothy H. McNicholl
Paul E. Schupp
|
+
PDF
Chat
|
Asymptotic density and the Ershov hierarchy
|
2015
|
Rod Downey
Carl G. Jockusch
Timothy H. McNicholl
Paul E. Schupp
|
+
|
A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces
|
2015
|
Timothy H. McNicholl
|
+
|
Computable copies of $\ell^p$
|
2015
|
Timothy H. McNicholl
|
+
|
Asymptotic density and the coarse computability bound
|
2015
|
Denis R. Hirschfeldt
Jr. Jockusch
Timothy H. McNicholl
Paul E. Schupp
|
+
|
A note on the computable categoricity of l^p spaces
|
2014
|
Timothy H. McNicholl
|
+
|
Carath\'eodory's Theorem and moduli of local connectivity
|
2014
|
Timothy H. McNicholl
|
+
PDF
Chat
|
Computing boundary extensions of conformal maps
|
2014
|
Timothy H. McNicholl
|
+
|
A note on the computable categoricity of l^p spaces
|
2014
|
Timothy H. McNicholl
|
+
|
Carathéodory's Theorem and moduli of local connectivity
|
2014
|
Timothy H. McNicholl
|
+
|
Asymptotic density and the Ershov hierarchy
|
2013
|
Rod Downey
Carl G. Jockusch
Timothy H. McNicholl
Paul E. Schupp
|
+
|
Computing boundary extensions of conformal maps onto domains with uncontrollably wiggly boundaries
|
2013
|
Timothy H. McNicholl
|
+
|
Conformal maps and jagged boundaries
|
2013
|
Timothy H. McNicholl
|
+
PDF
Chat
|
Computing links and accessing arcs
|
2013
|
Timothy H. McNicholl
|
+
|
Computing conformal maps onto circular domains
|
2013
|
Valentin V. Andreev
Dale Daniel
Timothy H. McNicholl
|
+
|
Computing boundary extensions of conformal maps part 2
|
2013
|
Timothy H. McNicholl
|
+
|
Asymptotic density and the Ershov hierarchy
|
2013
|
Rod Downey
Carl G. Jockusch
Timothy H. McNicholl
Paul E. Schupp
|
+
PDF
Chat
|
The power of backtracking and the confinement of length
|
2012
|
Timothy H. McNicholl
|
+
PDF
Chat
|
An Operator-Theoretic Existence Proof of Solutions to Planar Dirichlét Problems
|
2012
|
Timothy H. McNicholl
|
+
|
Estimating the Error in the Koebe Construction
|
2012
|
Valentin V. Andreev
Timothy H. McNicholl
|
+
|
Computing links and accessing arcs
|
2011
|
Timothy H. McNicholl
|
+
|
An operator-theoretic existence proof of solutions to planar Dirichl\'et problems
|
2011
|
Timothy H. McNicholl
|
+
|
AN ALGORITHM FOR COMPUTING BOUNDARY EXTENSIONS OF CONFORMAL MAPS
|
2011
|
Timothy H. McNicholl
|
+
PDF
Chat
|
Effective Versions of Local Connectivity Properties
|
2011
|
Dale Daniel
Timothy H. McNicholl
|
+
PDF
Chat
|
An Effective Carathéodory Theorem
|
2011
|
Timothy H. McNicholl
|
+
|
A potential-theoretic construction of the Schwarz–Christoffel map for finitely connected domains
|
2011
|
Valentin V. Andreev
Timothy H. McNicholl
|
+
|
The power of backtracking and the confinement of length
|
2011
|
Timothy H. McNicholl
|
+
|
Computing links and accessing arcs
|
2011
|
Timothy H. McNicholl
|
+
|
An operator-theoretic existence proof of solutions to planar Dirichlét problems
|
2011
|
Timothy H. McNicholl
|
+
|
The power of backtracking and the confinement of length
|
2011
|
Timothy H. McNicholl
|
+
|
Computing Space-Filling Curves
|
2010
|
P. J. Couch
Bernal-Santos Daniel
Timothy H. McNicholl
|
+
PDF
Chat
|
Computing Conformal Maps of Finitely Connected Domains onto Canonical Slit Domains
|
2010
|
Valentin V. Andreev
Timothy H. McNicholl
|
+
PDF
Chat
|
Reverse mathematics, computability, and partitions of trees
|
2009
|
Jennifer Chubb
Jeffry L. Hirst
Timothy H. McNicholl
|
+
|
Computing Conformal Maps onto Canonical Slit Domains
|
2009
|
Valentin V. Andreev
Timothy H. McNicholl
|
+
|
Technical Report: Computation on the Extended Complex Plane and Conformal Mapping of Multiply-connected Domains
|
2008
|
Valentin V. Andreev
Dale Daniel
Timothy H. McNicholl
|
+
|
Uniformly computable aspects of inner functions: estimation and factorization
|
2008
|
Timothy H. McNicholl
|
+
|
A uniformly computable Implicit Function Theorem
|
2008
|
Timothy H. McNicholl
|
+
|
Uniformly Computable Aspects of Inner Functions
|
2008
|
Timothy H. McNicholl
|
+
|
Computable analysis and Blaschke products
|
2007
|
Alec Matheson
Timothy H. McNicholl
|
+
PDF
Chat
|
Π<sub>1</sub><sup>0</sup> classes and strong degree spectra of relations
|
2007
|
John Chisholm
Jennifer Chubb
Valentina Harizanov
Denis R. Hirschfeldt
Carl G. Jockusch
Timothy H. McNicholl
Sarah Pingrey
|
+
|
The Complexity of Odd$^A_n$
|
2000
|
Richard Beigel
William Gasarch
Martin Kummer
Georgia A. Martin
Timothy H. McNicholl
Frank Stephan
|
+
PDF
Chat
|
Book Review: Stable Marriage and its Relation to Other Combinatorial Problems: An Introduction to Algorithm Analysis by Donald E. Knuth (American Mathematical Society 1996)
|
1999
|
Timothy H. McNicholl
|