scientific article; zbMATH DE number 1303200

MaRDI QIDQ4249723zbMATH OpenFDO

Authors Douglas Cenzer, Jeffrey Remmel

Publication date 15 September 1999

zbMATH Keywords

surveynonmonotonic logic\(\Pi^0_1\) classesrecursive combinatoricsrecursive algebrarecursive graphs

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Theory of numerations, effectively presented structures (03D45) Complexity of computation (including implicit computational complexity) (03D15) Other degrees and reducibilities in computability and recursion theory (03D30) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• scientific article; zbMATH DE number 1531920
• Π₁⁰ classes with complex elements
• Small \(\Pi^{0}_{1}\) classes
• \(\Pi_1^0\) classes and minimal degrees
• choice classes
• scientific article; zbMATH DE number 1390012
• scientific article; zbMATH DE number 3891998
• Functions of class \(\Pi\)
• Almost complemented \(\Pi^{0}_{1}\) classes
• Π₀¹-classes and Rado's selection principle

Cited in

(40)

• Immunity for closed sets
• Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes
• Turing degrees of multidimensional SFTs
• The upward closure of a perfect thin class
• scientific article; zbMATH DE number 1531920 (Why is no real title available?)
• Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
• Small \(\Pi^{0}_{1}\) classes
• Automorphisms of the lattice of \(\Pi_1^0\) classes; perfect thin classes and anc degrees
• Coding true arithmetic in the Medvedev degrees of ^0_1 classes
• The random members of a \({\Pi }_{1}^{0}\) class
• Effectively closed sets and enumerations
• Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
• Computability of Subsets of Metric Spaces
• Singular coverings and non-uniform notions of closed set computability
• Computability in Symbolic Dynamics
• Invariance in ℰ* and ℰ_{Π}
• Members of countable \(\Pi ^ 0_ 1\) classes
• \(\Pi_{1}^{0}\) classes and orderable groups
• The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees
• $\it \Pi^0_1$ Sets and Tilings
• Effective symbolic dynamics
• Subshifts with sparse traces
• COMPUTABLY COMPACT METRIC SPACES
• Index sets in computable analysis
• On Turing degrees of points in computable topology
• Π₀¹-classes and Rado's selection principle
• Feasible graphs with standard universe
• A blend of methods of recursion theory and topology.
• Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
• Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
• A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs
• choice classes
• The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable
• The complexity of recursive constraint satisfaction problems
• Computable symbolic dynamics
• Singular coverings and non‐uniform notions of closed set computability
• On degree-preserving homeomorphisms between trees in computable topology
• Random Continuous Functions
• Effectively closed sets and graphs of computable real functions.
• A blend of methods of recursion theory and topology: a _1⁰ tree of shadow points

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249723)