Complexity and Categoricity
Authors:
- Douglas CenzerDCDouglas Cenzer
- Jeffrey B. RemmelJRJeffrey B. Remmel
- 1 January 1998
- journal article
- Published by Elsevier in Information and Computation
- Vol. 140 (1) , 2-25
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Feasible Graphs and ColoringsMathematical Logic Quarterly, 1995
- Recursively presented games and strategiesMathematical Social Sciences, 1992
- Polynomial-time abelian groupsAnnals of Pure and Applied Logic, 1992
- Polynomial-time versus recursive modelsAnnals of Pure and Applied Logic, 1991
- Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))The Journal of Symbolic Logic, 1990
- Complexity-theoretic algebra II: Boolean algebrasAnnals of Pure and Applied Logic, 1989
- Recursively categorical linear orderingsProceedings of the American Mathematical Society, 1981
- Autostability of modelsAlgebra and Logic, 1980
- Autostability and computable families of constructivizationsAlgebra and Logic, 1975