@Preamble{
"\ifx \undefined \booktitle \def \booktitle#1{{{\em #1}}} \fi" #
"\ifx \undefined \mathbb \def \mathbb #1{{\bf #1}}\fi" #
"\ifx \undefined \mathcal \def \mathcal #1{{\cal #1}}\fi" #
"\ifx \undefined \mathfrak \let \mathfrak = \mathcal \fi"
}
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
@String{j-COMPUTABILITY = "Computability"}
@Article{Brattka:2012:E,
author = "Vasco Brattka and Paola Bonizzoni and S. Barry Cooper
and Benedikt L{\"o}we and Elvira Mayordomo",
title = "Editorial",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "1--2",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-007",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Hoyrup:2012:CRN,
author = "Mathieu Hoyrup and Crist{\'o}bal Rojas and Klaus
Weihrauch",
title = "Computability of the {Radon--Nikodym} Derivative",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "3--13",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-005",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Coskey:2012:HER,
author = "Samuel Coskey and Joel David Hamkins and Russell
Miller",
title = "The Hierarchy of Equivalence Relations on the Natural
Numbers Under Computable Reducibility",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "15--38",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-004",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Hitchcock:2012:LER,
author = "John M. Hitchcock",
title = "Limitations of Efficient Reducibility to the
{Kolmogorov} Random Strings",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "39--43",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-006",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Schlicht:2012:TRO,
author = "Philipp Schlicht and Benjamin Seyfferth",
title = "Tree Representations via Ordinal Machines",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "45--57",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-002",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Abbott:2012:NNQ,
author = "Alastair A. Abbott and Cristian S. Calude",
title = "{Von Neumann} Normalisation of a Quantum Random Number
Generator",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "59--83",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-001",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib;
http://www.math.utah.edu/pub/tex/bib/prng.bib",
URL = "http://iospress.metapress.com/content/82271271358877v0",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Hirschfeldt:2012:FSI,
author = "Denis R. Hirschfeldt and Rebecca Weber",
title = "Finite Self-Information",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "85--98",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-003",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Cholak:2012:CEP,
author = "Peter A. Cholak and Damir D. Dzhafarov and Noah
Schweber and Richard A. Shore",
title = "Computably Enumerable Partial Orders",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "99--107",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-12013",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Morphett:2012:IAR,
author = "Anthony Morphett",
title = "Incompleteness, Approximation and Relative
Randomness",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "109--130",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-12014",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Kihara:2012:ISC,
author = "Takayuki Kihara",
title = "Incomputability of Simply Connected Planar Continua",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "131--152",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-12012",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Merkle:2012:CCR,
author = "Wolfgang Merkle and Jason Teutsch",
title = "Constant Compression and Random Weights",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "153--169",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-12011",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Kreuzer:2012:SWC,
author = "Alexander P. Kreuzer",
title = "On the Strength of Weak Compactness",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "171--179",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-12010",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Anonymous:2012:AIV,
author = "Anonymous",
title = "Author Index Volume 1 (2012)",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "181--181",
month = "????",
year = "2012",
CODEN = "????",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Diamondstone:2013:NLD,
author = "David Diamondstone and Noam Greenberg and Daniel
Turetsky",
title = "Natural Large Degree Spectra",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "1--8",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13008",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Diener:2013:WKL,
author = "Hannes Diener",
title = "Weak {K{\"o}nig's Lemma} Implies the {Uniform
Continuity Theorem}",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "9--13",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13009",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Miyabe:2013:CLC,
author = "Kenshi Miyabe",
title = "{$ L^1 $}-Computability, Layerwise Computability and
{Solovay} Reducibility",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "15--29",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13015",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Ehrig:2013:CDR,
author = "Hartmut Ehrig and Claudia Ermel and Falk H{\"u}ffner
and Rolf Niedermeier and Olga Runge",
title = "Confluence in Data Reduction: Bridging Graph
Transformation and Kernelization",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "31--49",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13016",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Miller:2013:CCF,
author = "Russell Miller and Hans Schoutens",
title = "Computably Categorical Fields via {Fermat}'s {Last
Theorem}",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "51--65",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13017",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Skordev:2013:SCN,
author = "Dimiter Skordev",
title = "On Some Computability Notions for Real Functions",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "67--73",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13018",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Dorais:2013:RMA,
author = "Fran{\c{c}}ois G. Dorais and Jeffry Hirst and Paul
Shafer",
title = "Reverse Mathematics and Algebraic Field Extensions",
journal = j-COMPUTABILITY,
volume = "2",
number = "2",
pages = "75--92",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13021",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:29 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Carson:2013:AHS,
author = "Jacob Carson and Jesse Johnson and Julia Knight and
Karen Lange and Charles McCoy and John Wallbaum",
title = "The Arithmetical Hierarchy in the Setting of $
\omega_1 $",
journal = j-COMPUTABILITY,
volume = "2",
number = "2",
pages = "93--105",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13022",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:29 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Seki:2013:BTA,
author = "Shinnosuke Seki and Yasushi Okuno",
title = "On the Behavior of Tile Assembly System at High
Temperatures",
journal = j-COMPUTABILITY,
volume = "2",
number = "2",
pages = "107--124",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13020",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:29 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
keywords = "Tile Assembly System (TAS)",
}
@Article{Soler-Toscano:2013:CIN,
author = "Fernando Soler-Toscano and Hector Zenil and Jean-Paul
Delahaye and Nicolas Gauvrit",
title = "Correspondence and Independence of Numerical
Evaluations of Algorithmic Information Measures",
journal = j-COMPUTABILITY,
volume = "2",
number = "2",
pages = "125--140",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13019",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:29 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Anonymous:2013:AIV,
author = "Anonymous",
title = "Author Index Volume 2 (2013)",
journal = j-COMPUTABILITY,
volume = "2",
number = "2",
pages = "141--142",
month = "????",
year = "2013",
CODEN = "????",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:29 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Ng:2014:CRS,
author = "Keng Meng Ng and Andr{\'e} Nies and Frank Stephan",
title = "The Complexity of Recursive Splittings of Random
Sets",
journal = j-COMPUTABILITY,
volume = "3",
number = "1",
pages = "1--8",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-14023",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:30 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Tucker:2014:COC,
author = "J. V. Tucker and J. I. Zucker",
title = "Computability of Operators on Continuous and Discrete
Time Streams",
journal = j-COMPUTABILITY,
volume = "3",
number = "1",
pages = "9--44",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-14024",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:30 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Freer:2014:AAL,
author = "Cameron Freer and Bj{\o} rn Kjos-Hanssen and Andr{\'e}
Nies and Frank Stephan",
title = "Algorithmic Aspects of {Lipschitz} Functions",
journal = j-COMPUTABILITY,
volume = "3",
number = "1",
pages = "45--61",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-14025",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:30 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Nikolova:2014:STI,
author = "Stela Nikolova",
title = "Shared thoughts on {Ivan--Soskov (1954--2013)}",
journal = j-COMPUTABILITY,
volume = "3",
number = "1",
pages = "63--72",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-14026",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:30 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Franklin:2014:DLI,
author = "Johanna N. Y. Franklin and Reed Solomon",
title = "Degrees that Are Low for Isomorphism",
journal = j-COMPUTABILITY,
volume = "3",
number = "2",
pages = "73--89",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-140027",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Fri Feb 13 07:30:12 MST 2015",
bibsource = "http://www.iospress.nl/;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Harkins:2014:SRI,
author = "Ryan C. Harkins and John M. Hitchcock and A. Pavan",
title = "Strong Reductions and Isomorphism of Complete Sets",
journal = j-COMPUTABILITY,
volume = "3",
number = "2",
pages = "91--104",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-140028",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Fri Feb 13 07:30:12 MST 2015",
bibsource = "http://www.iospress.nl/;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Calvert:2014:TDI,
author = "Wesley Calvert and Valentina Harizanov and Alexandra
Shlapentokh",
title = "{Turing} Degrees of Isomorphism Types of Geometric
Objects",
journal = j-COMPUTABILITY,
volume = "3",
number = "2",
pages = "105--134",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-140029",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Fri Feb 13 07:30:12 MST 2015",
bibsource = "http://www.iospress.nl/;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Bazgan:2014:PIT,
author = "Cristina Bazgan and Morgan Chopin and Andr{\'e}
Nichterlein and Florian Sikora",
title = "Parameterized Inapproximability of Target Set
Selection and Generalizations",
journal = j-COMPUTABILITY,
volume = "3",
number = "2",
pages = "135--145",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-140030",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Fri Feb 13 07:30:12 MST 2015",
bibsource = "http://www.iospress.nl/;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Anonymous:2014:AIV,
author = "Anonymous",
title = "Author Index Volume 3 (2014)",
journal = j-COMPUTABILITY,
volume = "3",
number = "2",
pages = "147--147",
month = "????",
year = "2014",
CODEN = "????",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Fri Feb 13 07:30:12 MST 2015",
bibsource = "http://www.iospress.nl/;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Schroder:2015:HHQ,
author = "Matthias Schr{\"o}der and Victor Selivanov",
title = "Hyperprojective hierarchy of qcb$_0$-spaces",
journal = j-COMPUTABILITY,
volume = "4",
number = "1",
pages = "1--17",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150031",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:14 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Ben-Amram:2015:MIP,
author = "Amir M. Ben-Amram",
title = "Mortality of iterated piecewise affine functions over
the integers: Decidability and complexity",
journal = j-COMPUTABILITY,
volume = "4",
number = "1",
pages = "19--56",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150032",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:14 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Towsner:2015:MCE,
author = "Henry Towsner",
title = "On maximum conservative extensions",
journal = j-COMPUTABILITY,
volume = "4",
number = "1",
pages = "57--68",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150033",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:14 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Patey:2015:CSP,
author = "Ludovic Patey",
title = "The complexity of satisfaction problems in reverse
mathematics",
journal = j-COMPUTABILITY,
volume = "4",
number = "1",
pages = "69--84",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150034",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:14 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Lutz:2015:LME,
author = "Jack H. Lutz and Neil Lutz",
title = "Lines missing every random point",
journal = j-COMPUTABILITY,
volume = "4",
number = "2",
pages = "85--102",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150038",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Gura:2015:ECC,
author = "Kirill Gura and Jeffry L. Hirst and Carl Mummert",
title = "On the existence of a connected component of a graph",
journal = j-COMPUTABILITY,
volume = "4",
number = "2",
pages = "103--117",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150039",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Harris:2015:LMM,
author = "Charles M. Harris",
title = "On limitwise monotonicity and maximal block
functions",
journal = j-COMPUTABILITY,
volume = "4",
number = "2",
pages = "119--139",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150037",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Astor:2015:ADI,
author = "Eric P. Astor",
title = "Asymptotic density, immunity and randomness",
journal = j-COMPUTABILITY,
volume = "4",
number = "2",
pages = "141--158",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150040",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib;
http://www.math.utah.edu/pub/tex/bib/prng.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Speranski:2015:SNR,
author = "Stanislav O. Speranski",
title = "Some new results in monadic second-order arithmetic",
journal = j-COMPUTABILITY,
volume = "4",
number = "2",
pages = "159--174",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150036",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Brattka:2016:E,
author = "Vasco Brattka and Paola Bonizzoni and Olivier Bournez
and Elvira Mayordomo",
title = "Editorial",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "1--1",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160051",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Lowe:2016:BCE,
author = "Benedikt L{\"o}we",
title = "{Barry Cooper} (1943--2015): The engine of {{\em
Computability in Europe}}",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "3--11",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160052",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/bibnet/authors/t/turing-alan-mathison.bib;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
keywords = "Alan M. Turing; S. Barry Cooper; The Imitation Game",
subject-dates = "Stuart Barry Cooper (9 October 1943--26 October
2015)",
}
@Article{Hirschfeldt:2016:ADC,
author = "Denis R. Hirschfeldt and Carl G. {Jockusch Jr.} and
Timothy H. McNicholl and Paul E. Schupp",
title = "Asymptotic density and the coarse computability
bound",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "13--27",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150035",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Basu:2016:MPI,
author = "Sankha S. Basu and Stephen G. Simpson",
title = "Mass problems and intuitionistic higher-order logic",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "29--47",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150041",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Muchnik:2016:SWR,
author = "Albert A. Muchnik",
title = "Strong and weak reducibility of algorithmic
problems1",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "49--59",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150042",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Normann:2016:CBR,
author = "Dag Normann",
title = "On the {Cantor--Bendixson} rank of a set that is
searchable in {G{\"o}del}'s {$T$}",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "61--74",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150043",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{deBrecht:2016:BCC,
author = "Matthew de Brecht and Matthias Schr{\"o}der and Victor
Selivanov",
title = "Base-complexity classifications of qcb$_0$-spaces1",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "75--102",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150044",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Herbert:2016:LIV,
author = "Ian Herbert",
title = "Lowness for integer-valued randomness",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "103--109",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150045",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib;
http://www.math.utah.edu/pub/tex/bib/prng.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Cai:2016:KP,
author = "Mingzhong Cai and Steffen Lempp and Joseph S. Miller
and Mariya I. Soskova",
title = "On {Kalimullin} pairs",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "111--126",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150046",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Faber:2016:EOT,
author = "Eric Faber and Jaap van Oosten",
title = "Effective operations of type 2 in {PCAs}",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "127--146",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150048",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Holzl:2016:MPT,
author = "Rupert H{\"o}lzl and Frank Stephan and Liang Yu",
title = "On {Martin}'s pointed tree theorem",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "147--157",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150047",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Pauly:2016:TAT,
author = "Arno Pauly",
title = "On the topological aspects of the theory of
represented spaces",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "159--180",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150049",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Carl:2016:RDT,
author = "Merlin Carl",
title = "Randomness and degree theory for infinite time
register machines",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "181--196",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160055",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Anonymous:2016:AIV,
author = "Anonymous",
title = "Author Index Volume 5 (2016)",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "197--197",
month = "????",
year = "2016",
CODEN = "????",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Dzhafarov:2017:NRI,
author = "Damir D. Dzhafarov and Gregory Igusa",
title = "Notions of robust information coding",
journal = j-COMPUTABILITY,
volume = "6",
number = "2",
pages = "105--124",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160059",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:33:20 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Huschenbett:2017:POA,
author = "Martin Huschenbett and Alexander Kartzow and Philipp
Schlicht",
title = "Pumping for ordinal-automatic structures $^1$",
journal = j-COMPUTABILITY,
volume = "6",
number = "2",
pages = "125--164",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160057",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:33:20 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Ibarra:2017:LCC,
author = "Oscar H. Ibarra and Cewei Cui and Zhe Dang and Thomas
R. Fischer",
title = "Lossiness of communication channels modeled by
transducers",
journal = j-COMPUTABILITY,
volume = "6",
number = "2",
pages = "165--181",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150050",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:33:20 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Gonen:2017:CIC,
author = "Rica Gonen and Anat Lerner",
title = "Characterizing incentive compatible, {Pareto} optimal
and sufficiently anonymous constrained combinatorial
mechanisms --- Two players case",
journal = j-COMPUTABILITY,
volume = "6",
number = "2",
pages = "183--208",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160064",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:33:20 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Anonymous:2017:AIV,
author = "Anonymous",
title = "Author Index Volume 6 (2017)",
journal = j-COMPUTABILITY,
volume = "6",
number = "2",
pages = "209--209",
month = "????",
year = "2017",
CODEN = "????",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:33:20 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Patey:2017:IFH,
author = "Ludovic Patey",
title = "Iterative forcing and hyperimmunity in reverse
mathematics",
journal = j-COMPUTABILITY,
volume = "6",
number = "3",
pages = "209--221",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160062",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Carl:2017:ITR,
author = "Merlin Carl",
title = "Infinite time recognizability from generic oracles and
the recognizable jump operator",
journal = j-COMPUTABILITY,
volume = "6",
number = "3",
pages = "223--247",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160061",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Kristiansen:2017:SRI,
author = "Lars Kristiansen",
title = "On subrecursive representability of irrational
numbers",
journal = j-COMPUTABILITY,
volume = "6",
number = "3",
pages = "249--276",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160063",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Agrawal:2017:DPE,
author = "Manindra Agrawal and Diptarka Chakraborty and Debarati
Das and Satyadev Nandakumar",
title = "Dimension, pseudorandomness and extraction of
pseudorandomness",
journal = j-COMPUTABILITY,
volume = "6",
number = "3",
pages = "277--305",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160066",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Miasnikov:2017:CCC,
author = "Alexei Miasnikov and Paul Schupp",
title = "Computational complexity and the conjugacy problem",
journal = j-COMPUTABILITY,
volume = "6",
number = "4",
pages = "307--318",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160060",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Frittaion:2017:CRR,
author = "Emanuele Frittaion and Ludovic Patey",
title = "Coloring the rationals in reverse mathematics",
journal = j-COMPUTABILITY,
volume = "6",
number = "4",
pages = "319--331",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160067",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Milchior:2017:USE,
author = "Arthur Milchior",
title = "Undecidability of satisfiability of expansions of
{FO[$<$]} over words with a {FO[$+$]}-definable set",
journal = j-COMPUTABILITY,
volume = "6",
number = "4",
pages = "333--363",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170069",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Adams:2017:CCW,
author = "Francis Adams and Douglas Cenzer",
title = "Computability and categoricity of weakly
ultrahomogeneous structures",
journal = j-COMPUTABILITY,
volume = "6",
number = "4",
pages = "365--389",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170070",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{McNicholl:2017:CC,
author = "Timothy H. McNicholl",
title = "Computable copies of $^\ell p$",
journal = j-COMPUTABILITY,
volume = "6",
number = "4",
pages = "391--408",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160065",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Franklin:2018:LID,
author = "Johanna N. Y. Franklin and Dan Turetsky",
title = "Lowness for isomorphism and degrees of genericity",
journal = j-COMPUTABILITY,
volume = "7",
number = "1",
pages = "1--6",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170078",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Sanders:2018:GHF,
author = "Sam Sanders",
title = "The {Gandy--Hyland} functional and a computational
aspect of nonstandard analysis",
journal = j-COMPUTABILITY,
volume = "7",
number = "1",
pages = "7--43",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170074",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Hirahara:2018:CRC,
author = "Shuichi Hirahara and Akitoshi Kawamura",
title = "On characterizations of randomized computation using
plain {Kolmogorov} complexity",
journal = j-COMPUTABILITY,
volume = "7",
number = "1",
pages = "45--56",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170075",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Iljazovic:2018:CIP,
author = "Zvonko Iljazovi{\'c} and Bojan Pazek",
title = "Computable intersection points",
journal = j-COMPUTABILITY,
volume = "7",
number = "1",
pages = "57--99",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170079",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Lowe:2018:PSI,
author = "Benedikt L{\"o}we",
title = "Preface to the special issue in memory of {S. Barry
Cooper} (1943--2015)",
journal = j-COMPUTABILITY,
volume = "7",
number = "2--3",
pages = "101--101",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180091",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Elwes:2018:BC,
author = "Richard Elwes and Andy Lewis-Pye and Benedikt L{\"o}we
and Dugald Macpherson and Dag Normann and Andrea Sorbi
and Alexandra A. Soskova and Mariya I. Soskova and
Peter van Emde Boas and Stan Wainer",
title = "{S. Barry Cooper} (1943--2015)",
journal = j-COMPUTABILITY,
volume = "7",
number = "2--3",
pages = "103--131",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180092",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Cooper:2018:SJI,
author = "S. Barry Cooper and Angsheng Li and Mingji Xia",
title = "Splitting and jump inversion in the {Turing} degrees",
journal = j-COMPUTABILITY,
volume = "7",
number = "2--3",
pages = "133--142",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180083",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Cooper:2018:LEH,
author = "S. Barry Cooper and James Gay and Charles M. Harris
and Kyung Il Lee and Anthony Morphett",
title = "Linearisations and the {Ershov} hierarchy",
journal = j-COMPUTABILITY,
volume = "7",
number = "2--3",
pages = "143--169",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170080",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Barmpalias:2018:PCM,
author = "George Barmpalias and Andrew Lewis-Pye and Angsheng
Li",
title = "Pointed computations and {Martin-L{\"o}f} randomness",
journal = j-COMPUTABILITY,
volume = "7",
number = "2--3",
pages = "171--177",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170076",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Ganchev:2018:JHE,
author = "Hristo A. Ganchev and Mariya I. Soskova",
title = "The jump hierarchy in the enumeration degrees",
journal = j-COMPUTABILITY,
volume = "7",
number = "2--3",
pages = "179--188",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170072",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Lewis-Pye:2018:SND,
author = "Andrew E. M. Lewis-Pye",
title = "The search for natural definability in the {Turing}
degrees",
journal = j-COMPUTABILITY,
volume = "7",
number = "2--3",
pages = "189--235",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170068",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Ambos-Spies:2018:ABR,
author = "Klaus Ambos-Spies",
title = "Automorphism bases for the recursively enumerable
degrees",
journal = j-COMPUTABILITY,
volume = "7",
number = "2--3",
pages = "237--258",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180088",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Calude:2018:PAA,
author = "Cristian S. Calude and Monica Dumitrescu",
title = "A probabilistic anytime algorithm for the halting
problem",
journal = j-COMPUTABILITY,
volume = "7",
number = "2--3",
pages = "259--271",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170073",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Jain:2018:FGS,
author = "Sanjay Jain and Bakhadyr Khoussainov and Frank
Stephan",
title = "Finitely generated semiautomatic groups",
journal = j-COMPUTABILITY,
volume = "7",
number = "2--3",
pages = "273--287",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180089",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:20 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Pocas:2018:ANF,
author = "Diogo Po{\c{c}}as and Jeffery Zucker",
title = "Analog networks on function data streams",
journal = j-COMPUTABILITY,
volume = "7",
number = "4",
pages = "301--322",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170077",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Patey:2018:POI,
author = "Ludovic Patey",
title = "Partial orders and immunity in reverse mathematics",
journal = j-COMPUTABILITY,
volume = "7",
number = "4",
pages = "323--339",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170071",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Backman:2018:TFF,
author = "Spencer Backman and Tony Huynh",
title = "Transfinite {Ford--Fulkerson} on a finite network",
journal = j-COMPUTABILITY,
volume = "7",
number = "4",
pages = "341--347",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180082",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Wright:2018:DRO,
author = "Matthew Wright",
title = "Degrees of relations on ordinals",
journal = j-COMPUTABILITY,
volume = "7",
number = "4",
pages = "349--365",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180086",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Davidson:2018:EMM,
author = "Joe Davidson and Greg Michaelson",
title = "Expressiveness, meanings and machines",
journal = j-COMPUTABILITY,
volume = "7",
number = "4",
pages = "367--394",
month = "????",
year = "2018",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180090",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Armstrong:2019:NST,
author = "Mark Armstrong and Jeffery Zucker",
title = "Notions of semicomputability in topological algebras
over the reals",
journal = j-COMPUTABILITY,
volume = "8",
number = "1",
pages = "1--26",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180087",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Golovach:2019:SCN,
author = "Petr A. Golovach and Matthew Johnson and Barnaby
Martin and Dani{\"e}l Paulusma and Anthony Stewart",
title = "Surjective {$H$}-colouring: New hardness results",
journal = j-COMPUTABILITY,
volume = "8",
number = "1",
pages = "27--42",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180084",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Kristiansen:2019:SRI,
author = "Lars Kristiansen",
title = "On subrecursive representability of irrational
numbers, part {II}",
journal = j-COMPUTABILITY,
volume = "8",
number = "1",
pages = "43--65",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-170081",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Beckmann:2019:FSF,
author = "Arnold Beckmann and Sam Buss and Sy-David Friedman and
Moritz M{\"u}ller and Neil Thapen",
title = "Feasible set functions have small circuits",
journal = j-COMPUTABILITY,
volume = "8",
number = "1",
pages = "67--98",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180096",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Miller:2019:ICC,
author = "Russell Miller",
title = "Isomorphism and classification for countable
structures",
journal = j-COMPUTABILITY,
volume = "8",
number = "2",
pages = "99--117",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180095",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Longley:2019:BRC,
author = "John Longley",
title = "Bar recursion is not computable via iteration",
journal = j-COMPUTABILITY,
volume = "8",
number = "2",
pages = "119--153",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180200",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Astor:2019:DCU,
author = "Eric P. Astor and Denis R. Hirschfeldt and Carl G.
{Jockusch Jr.}",
title = "Dense computability, upper cones, and minimal pairs",
journal = j-COMPUTABILITY,
volume = "8",
number = "2",
pages = "155--177",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180231",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{McNicholl:2019:IDC,
author = "Timothy H. McNicholl and Donald M. Stull",
title = "The isometry degree of a computable copy of $\ell p$",
journal = j-COMPUTABILITY,
volume = "8",
number = "2",
pages = "179--189",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180214",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Brattka:2019:PSI,
author = "Vasco Brattka and Rod Downey and Julia F. Knight and
Steffen Lempp",
title = "Preface of the special issue for the {Oberwolfach
Workshop on Computability Theory 2018}",
journal = j-COMPUTABILITY,
volume = "8",
number = "3--4",
pages = "191--191",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180103",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Andrews:2019:JMS,
author = "Uri Andrews and Andea Sorbi",
title = "Joins and meets in the structure of ceers",
journal = j-COMPUTABILITY,
volume = "8",
number = "3--4",
pages = "193--241",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180098",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Chih:2019:STL,
author = "Ellen Chih and Rod G. Downey",
title = "Splitting theorems and low degrees",
journal = j-COMPUTABILITY,
volume = "8",
number = "3--4",
pages = "243--252",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180093",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Csima:2019:RMH,
author = "Barbara F. Csima and Damir D. Dzhafarov and Denis R.
Hirschfeldt and Carl G. {Jockusch, Jr.} and Reed
Solomon and Linda Brown Westrick",
title = "The reverse mathematics of {Hindman's Theorem} for
sums of exactly two elements",
journal = j-COMPUTABILITY,
volume = "8",
number = "3--4",
pages = "253--263",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180094",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Fokina:2019:MCR,
author = "Ekaterina Fokina and Dino Rossegger and Luca {San
Mauro}",
title = "Measuring the complexity of reductions between
equivalence relations",
journal = j-COMPUTABILITY,
volume = "8",
number = "3--4",
pages = "265--280",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180100",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Gherardi:2019:POW,
author = "Guido Gherardi and Alberto Marcone and Arno Pauly",
title = "Projection operators in the {Weihrauch} lattice",
journal = j-COMPUTABILITY,
volume = "8",
number = "3--4",
pages = "281--304",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180207",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Greenberg:2019:CIN,
author = "Noam Greenberg and Rutger Kuyper and Dan Turetsky",
title = "Cardinal invariants, non-lowness classes, and
{Weihrauch} reducibility",
journal = j-COMPUTABILITY,
volume = "8",
number = "3--4",
pages = "305--346",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180219",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Harrison-Trainor:2019:FOT,
author = "Matthew Harrison-Trainor",
title = "A first-order theory of {Ulm} type",
journal = j-COMPUTABILITY,
volume = "8",
number = "3--4",
pages = "347--358",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180099",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Harrison-Trainor:2019:EAA,
author = "Matthew Harrison-Trainor and Bakh Khoussainov and
Daniel Turetsky",
title = "Effective aspects of algorithmically random
structures",
journal = j-COMPUTABILITY,
volume = "8",
number = "3--4",
pages = "359--375",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180101",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Kohlenbach:2019:RMW,
author = "Ulrich Kohlenbach",
title = "On the reverse mathematics and {Weihrauch} complexity
of moduli of regularity and uniqueness",
journal = j-COMPUTABILITY,
volume = "8",
number = "3--4",
pages = "377--387",
month = "????",
year = "2019",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180097",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Fernau:2020:DPP,
author = "Henning Fernau and Till Fluschnik and Danny Hermelin
and Andreas Krebs and Hendrik Molter and Rolf
Niedermeier",
title = "Diminishable parameterized problems and strict
polynomial kernelization",
journal = j-COMPUTABILITY,
volume = "9",
number = "1",
pages = "1--24",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180220",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Shafer:2020:SCC,
author = "Paul Shafer",
title = "The strength of compactness for countable complete
linear orders",
journal = j-COMPUTABILITY,
volume = "9",
number = "1",
pages = "25--36",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-190262",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Gerdes:2020:RSF,
author = "Peter Gerdes",
title = "An $ \omega $-{REA} set forming a minimal pair with $
0 \sim '$",
journal = j-COMPUTABILITY,
volume = "9",
number = "1",
pages = "37--50",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180191",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Milici:2020:DED,
author = "Pietro Milici",
title = "A differential extension of {Descartes}' foundational
approach: a new balance between symbolic and analog
computation",
journal = j-COMPUTABILITY,
volume = "9",
number = "1",
pages = "51--83",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180208",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:22 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Dzhafarov:2020:RTP,
author = "Damir D. Dzhafarov and Jun Le Goh and Denis R.
Hirschfeldt and Ludovic Patey and Arno Pauly",
title = "{Ramsey}'s theorem and products in the {Weihrauch}
degrees",
journal = j-COMPUTABILITY,
volume = "9",
number = "2",
pages = "85--110",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180203",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Johnston:2020:CBR,
author = "Reese Johnston",
title = "{Cantor--Bendixson} ranks of effectively closed sets
in admissible recursion theory",
journal = j-COMPUTABILITY,
volume = "9",
number = "2",
pages = "111--125",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180187",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Csima:2020:DCA,
author = "Barbara F. Csima and Michael Deveau and Matthew
Harrison-Trainor and Mohammad Assem Mahmoud",
title = "Degrees of categoricity above limit ordinals",
journal = j-COMPUTABILITY,
volume = "9",
number = "2",
pages = "127--137",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-190254",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Carlucci:2020:NBS,
author = "Lorenzo Carlucci and Leszek Aleksander
Ko{\l}odziejczyk and Francesco Lepore and Konrad
Zdanowski",
title = "New bounds on the strength of some restrictions of
{Hindman's Theorem}",
journal = j-COMPUTABILITY,
volume = "9",
number = "2",
pages = "139--153",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-190264",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Calude:2020:SAA,
author = "Cristian S. Calude and Monica Dumitrescu",
title = "A statistical anytime algorithm for the {Halting
Problem}",
journal = j-COMPUTABILITY,
volume = "9",
number = "2",
pages = "155--166",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-190250",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Brattka:2020:DSM,
author = "Vasco Brattka and Damir D. Dzhafarov and Alberto
Marcone and Arno Pauly",
title = "{Dagstuhl Seminar on Measuring the Complexity of
Computational Content 2018}",
journal = j-COMPUTABILITY,
volume = "9",
number = "3--4",
pages = "167--168",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-208001",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{deBrecht:2020:OC,
author = "Matthew de Brecht and Arno Pauly and Matthias
Schr{\"o}der",
title = "Overt choice",
journal = j-COMPUTABILITY,
volume = "9",
number = "3--4",
pages = "169--191",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-190253",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Cholak:2020:SRC,
author = "Peter A. Cholak and Damir D. Dzhafarov and Denis R.
Hirschfeldt and Ludovic Patey",
title = "Some results concerning the {SRT22} vs. {COH}
problem",
journal = j-COMPUTABILITY,
volume = "9",
number = "3--4",
pages = "193--217",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-190251",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Davis:2020:CPE,
author = "Caleb Davis and Denis R. Hirschfeldt and Jeffry Hirst
and Jake Pardo and Arno Pauly and Keita Yokoyama",
title = "Combinatorial principles equivalent to weak
induction",
journal = j-COMPUTABILITY,
volume = "9",
number = "3--4",
pages = "219--229",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180244",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Goh:2020:CMF,
author = "Jun Le Goh",
title = "Compositions of multivalued functions",
journal = j-COMPUTABILITY,
volume = "9",
number = "3--4",
pages = "231--247",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180235",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Hertling:2020:FDW,
author = "Peter Hertling",
title = "Forests describing {Wadge} degrees and topological
{Weihrauch} degrees of certain classes of functions and
relations",
journal = j-COMPUTABILITY,
volume = "9",
number = "3--4",
pages = "249--307",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-190255",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Hirst:2020:LM,
author = "Jeffry L. Hirst",
title = "Leaf management",
journal = j-COMPUTABILITY,
volume = "9",
number = "3--4",
pages = "309--314",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180243",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Nemoto:2020:CPD,
author = "Takako Nemoto",
title = "A constructive proof of the dense existence of
nowhere-differentiable functions in {$ C[0, 1] $}",
journal = j-COMPUTABILITY,
volume = "9",
number = "3--4",
pages = "315--326",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-190247",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Selivanov:2020:WDF,
author = "Victor Selivanov",
title = "{$Q$-Wadge} degrees as free structures",
journal = j-COMPUTABILITY,
volume = "9",
number = "3--4",
pages = "327--341",
month = "????",
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180241",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Bazhenov:2021:DBE,
author = "Nikolay Bazhenov and Ekaterina Fokina and Dino
Rossegger and Luca {San Mauro}",
title = "Degrees of bi-embeddable categoricity",
journal = j-COMPUTABILITY,
volume = "10",
number = "1",
pages = "1--16",
month = "????",
year = "2021",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-190289",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Fujiwara:2021:WCR,
author = "Makoto Fujiwara",
title = "{Weihrauch} and constructive reducibility between
existence statements",
journal = j-COMPUTABILITY,
volume = "10",
number = "1",
pages = "17--30",
month = "????",
year = "2021",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-190278",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Sanders:2021:NRM,
author = "Sam Sanders",
title = "Nets and reverse mathematics",
journal = j-COMPUTABILITY,
volume = "10",
number = "1",
pages = "31--62",
month = "????",
year = "2021",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-190265",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Konecny:2021:RES,
author = "Michal Konecn{\'y} and Eike Neumann",
title = "Representations and evaluation strategies for feasibly
approximable functions",
journal = j-COMPUTABILITY,
volume = "10",
number = "1",
pages = "63--89",
month = "????",
year = "2021",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-180234",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Tue Mar 30 19:41:23 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
