@article{Ressayre/01,
AUTHOR = {Ressayre, J.-P.},
TITLE = {Weak arithmetics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {1-15},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Richard/01,
AUTHOR = {Richard, Denis},
TITLE = {What are weak arithmetics?},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {17-29},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cegielski-Richard/01,
AUTHOR = {Cegielski, Patrick and Richard, Denis},
TITLE = {Decidability of the theory of the natural integers with the cantor pairing function and the successor},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {51-77},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dimitracopoulos/01,
AUTHOR = {Dimitracopoulos, C.},
TITLE = {On end extensions of models of subsystems of Peano arithmethic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {79-84},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duparc-Finkel-Ressayre/01,
AUTHOR = {Duparc, J. and Finkel, O. and Ressayre, J.-P.},
TITLE = {Computer science and the fine structure of Borel sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {85-105},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Esbelin/01,
AUTHOR = {Esbelin, Henri-Alex},
TITLE = {Counting modulo finite semigroups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {107-114},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Korec/01,
AUTHOR = {Korec, Ivan},
TITLE = {A list of arithmetical structures complete with respect to the first-order definability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {115-151},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Margenstern/01,
AUTHOR = {Margenstern, Maurice},
TITLE = {On quasi-unilateral universal Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {153-166},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Matiyasevich/01,
AUTHOR = {Matiyasevich, Yuri},
TITLE = {Some arithmetical restatements of the Four Color Conjecture},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {167-183},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sudac/01,
AUTHOR = {Sudac, Olivier},
TITLE = {The prime number theorem is PRA-provable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {185-239},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Teytaud/01,
AUTHOR = {Teytaud, Olivier},
TITLE = {Decidability of the halting problem for Matiyasevich deterministic machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {241-251},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}