Pages that link to "Item:Q4254616"
From MaRDI portal
The following pages link to Computably categorical structures and expansions by constants (Q4254616):
Displaying 18 items.
- Computable isomorphisms of Boolean algebras with operators (Q694494) (← links)
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 (Q1005921) (← links)
- Linear orders with distinguished function symbol (Q1005923) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Degree spectra and computable dimensions in algebraic structures (Q1612482) (← links)
- Degree spectra of relations on structures of finite computable dimension (Q1612487) (← links)
- Finite computable dimension and degrees of categoricity (Q1616772) (← links)
- Freely generated projective planes with finite computable dimension (Q2401538) (← links)
- Effective categoricity of equivalence structures (Q2498900) (← links)
- A computably stable structure with no Scott family of finitary formulas (Q2501165) (← links)
- Enumerations in computable structure theory (Q2570135) (← links)
- Degrees of categoricity of computable structures (Q2655143) (← links)
- Degree Spectra of Relations on Computable Structures (Q4508282) (← links)
- A computably categorical structure whose expansion by a constant has infinite computable dimension (Q4650279) (← links)
- Coding in the automorphism group of a computably categorical structure (Q4988826) (← links)
- AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS (Q5067872) (← links)
- The theory of projective planes is complete with respect to degree spectra and effective dimensions (Q5965134) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)