Rice sequences of relations
From MaRDI portal
Publication:2941599
DOI10.1098/rsta.2011.0333zbMath1329.03072OpenAlexW2165748083WikidataQ51353339 ScholiaQ51353339MaRDI QIDQ2941599
Publication date: 21 August 2015
Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1098/rsta.2011.0333
Complexity of computation (including implicit computational complexity) (03D15) Computable structure theory, computable model theory (03C57)
Related Items (10)
Jump inversions of algebraic structures and the \({\Sigma}\)-definability ⋮ On functors enumerating structures ⋮ The foundations of computation, physics and mentality: the Turing legacy ⋮ Unnamed Item ⋮ Jump inversions of algebraic structures and Σ‐definability ⋮ Effectively Existentially-Atomic Structures ⋮ Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey ⋮ Enumeration Reducibility and Computable Structure Theory ⋮ Independence in computable algebra ⋮ COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
Cites Work
- Reducibility on families
- Fixed points for the jump operator
- The jump operation for structure degrees
- Generic copies of countable structures
- A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
- Subspaces of computable vector spaces
- Enumerations in computable structure theory
- Computable Boolean algebras
- Low linear orderings
- Counting the back-and-forth types
- On the $n$-back-and-forth types of Boolean algebras
- Degrees of presentability of structures. I
- Degrees of presentability of structures. II
- A Jump Inversion Theorem for the Degree Spectra
- Degrees coded in jumps of orderings
- Every Low Boolean Algebra is Isomorphic to a Recursive One
- Every Low 2 Boolean Algebra has a Recursive Copy
- Complexity of Categorical Theories with Computable Models
- Abstract First Order Computability. I
- Arithmetical Reducibilities I
- Effective model theory vs. recursive model theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Rice sequences of relations