Generic copies of countable structures
From MaRDI portal
Publication:1123889
Recommendations
Cites work
- scientific article; zbMATH DE number 3732033 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- Categoricity in hyperarithmetical degrees
- Degrees coded in jumps of orderings
- Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
- Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
Cited in
(77)- Categoricity and complexity of relations over algebraic structures
- Enumerations in computable structure theory
- Generalizations of enumeration reducibility using recursive infinitary propositional sentences
- Sequences of n-diagrams
- A fixed point for the jump operator on structures
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
- 2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24--27, 2011
- Computable structures in generic extensions
- Comparing two versions of the reals
- Relativizing computable categoricity
- 1997–98 Annual Meeting of the Association for Symbolic Logic
- Computability-theoretic categoricity and Scott families
- Complexity and categoricity of injection structures induced by finite state transducers
- 1998–1999 Winter Meeting of the Association for Symbolic Logic
- Computable dimension for ordered fields
- Effective categoricity of automatic equivalence and nested equivalence structures
- Degrees of autostability for prime Boolean algebras
- Degrees of autostability relative to strong constructivizations for Boolean algebras
- Degrees of categoricity on a cone via \(\eta\)-systems
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
- Categoricity spectra of computable structures
- Degrees of autostability for linear orders and linearly ordered abelian groups
- Conservative extensions of abstract structures
- A note on effective categoricity for linear orderings
- Ash's theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension
- Effective categoricity for distributive lattices and Heyting algebras
- Rice sequences of relations
- Categoricity properties for computable algebraic fields
- Generalized hyperarithmetical computability over structures
- Π11 relations and paths through
- Computable isomorphisms, degree spectra of relations, and Scott families
- On the complexity of the theory of a computably presented metric structure
- Ramified systems
- Effectively existentially-atomic structures
- Enumeration reducibility and computable structure theory
- Computable structures of rank \(\omega _1^{\mathrm{CK}}\)
- Notes on the Jump of a Structure
- Degree spectra of relations on a cone
- Strong degrees of categoricity and weak density
- Complexity profiles and generic Muchnik reducibility
- Preserving categoricity and complexity of relations
- Forcing a countable structure to belong to the ground model
- \(d\)-computable categoricity for algebraic fields
- Model completeness and relative decidability
- Effective categoricity of abelian p-groups
- Computable ideals in \(I\)-algebras
- Degrees of selector functions and relative computable categoricity
- On bi-embeddable categoricity of algebraic structures
- Inseparability in recursive copies
- Computable functors and effective interpretability
- Intrinsic bounds on complexity and definability at limit levels
- Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra
- A computably stable structure with no Scott family of finitary formulas
- ON EXTENSIONS OF EMBEDDINGS INTO THE ENUMERATION DEGREES OF THE ${\Sigma_2^0}$-SETS
- There is no classification of the decidably presentable structures
- Relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms
- Copyable structures
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
- Another jump inversion theorem for structures
- Least enumerations of unary partial structures
- On functors enumerating structures
- Degrees of relative computable categoricity
- Torsion-free abelian groups with optimal Scott families
- On the notion of jump structure
- Degree spectra of structures
- Degrees of autostability relative to strong constructivizations
- Independence in computable algebra
- A robuster Scott rank
- Degrees of bi-embeddable categoricity
- Revisiting uniform computable categoricity: for the sixtieth birthday of prof. Rod Downey
- Computable categoricity of trees of finite height
- Effective categoricity of equivalence structures
- Generalization of Shapiro's theorem to higher arities and noninjective notations
- Jump inversions of algebraic structures and Σ‐definability
- An introduction to the Scott complexity of countable structures and a survey of recent results
- Computable categoricity for algebraic fields with splitting algorithms
- Jumps of Orderings
This page was built for publication: Generic copies of countable structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1123889)
