scientific article; zbMATH DE number 1303201
From MaRDI portal
Publication:4249724
zbMATH Open0941.03045MaRDI QIDQ4249724FDOQ4249724
Authors: Rodney G. Downey 
Publication date: 31 July 2000
Title of this publication is not available (Why is that?)
Recommendations
- Computability-theoretic and proof-theoretic aspects of partial and linear orderings
- Computable linearizations of well-partial-orderings
- Computability on linear orderings enriched with predicates
- Computable linear orders and the Ershov hierarchy
- Computable linear orders and the ershov hierarchy
- COMPUTABLE LINEAR ORDERS AND PRODUCTS
- Computable choice functions for computable linear orderings
- Order-computable sets
- Computable presentability of countable linear orders
- On self-embeddings of computable linear orderings
surveypresentationscomputable orderingsinfinite injury priority methodcomputability theory of linear orderingseffective content of classical theorems
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Theory of numerations, effectively presented structures (03D45)
Cited In (51)
- THE SIMPLEST LOW LINEAR ORDER WITH NO COMPUTABLE COPIES
- Computable completely decomposable groups
- On computable self-embeddings of computable linear orderings
- The Kierstead's conjecture and limitwise monotonic functions
- The computability path ordering
- Strongly \(\eta \)-representable degrees and limitwise monotonic functions
- A theorem on strongly \(\eta \)-representable sets
- Embeddings into left‐orderable simple groups
- The uniform content of partial and linear orders
- On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller
- \(\Pi_{1}^{0}\) classes and orderable groups
- Codings on linear orders and algorithmic independence of natural relations
- Title not available (Why is that?)
- FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
- A note on effective categoricity for linear orderings
- Degrees of autostability for linear orders and linearly ordered abelian groups
- Categoricity spectra of computable structures
- Prime models of theories of computable linear orderings
- Computable topological groups and Pontryagin duality
- Punctual dimension of algebraic structures in certain classes
- Linear orderings of low degree
- Computable linear orders and limitwise monotonic functions
- Categorical linearly ordered structures
- Degree spectra of relations on structures of finite computable dimension
- A class of low linear orders having computable presentations
- On Kierstead’s conjecture
- Equivalence between Fraïssé's conjecture and Jullien's theorem
- Computability-theoretic and proof-theoretic aspects of partial and linear orderings
- Increasing η -representable degrees
- Herrmann’s Beautiful Theorem on Computable Partial Orderings
- On self-embeddings of computable linear orderings
- Conditional extensions of fuzzy preorders
- Computability of distributive lattices
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
- Embedding jump upper semilattices into the Turing degrees
- CODING IN GRAPHS AND LINEAR ORDERINGS
- Torsion-free abelian groups with optimal Scott families
- COMPUTABLE LINEAR ORDERS AND PRODUCTS
- Degree spectra of structures
- Sufficient conditions for the existence of 0'-limitwise monotonic functions for computable \(\eta\)-like linear orders
- Primitive recursion and the chain antichain principle
- Title not available (Why is that?)
- Effectively categorical abelian groups
- Computable linearizations of well-partial-orderings
- Weak presentations of computable partial orderings
- On a computable presentation of low linear orderings
- The reverse mathematics of wqos and bqos
- A Friedberg enumeration of equivalence structures
- Computable shuffle sums of ordinals
- An undecidable linear order that is \(n\)-decidable for all \(n\)
- Algebraic structures computable without delay
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 Q4249724)
