Pages that link to "Item:Q3546058"
From MaRDI portal
The following pages link to Index sets of computable structures (Q3546058):
Displaying 22 items.
- Comparing classes of finite sums (Q282120) (← links)
- Index sets and Scott sentences (Q403398) (← links)
- PAC learning, VC dimension, and the arithmetic hierarchy (Q892140) (← links)
- Computable numberings of the class of Boolean algebras with distinguished endomorphisms (Q893075) (← links)
- Index sets for some classes of structures (Q1006610) (← links)
- Effective categoricity of abelian \(p\)-groups (Q1023056) (← links)
- Classifications of computable structures (Q1704081) (← links)
- Scott sentences for certain groups (Q1745362) (← links)
- Finitely generated groups are universal among finitely generated structures (Q2003917) (← links)
- A note on decidable categoricity and index sets (Q2200982) (← links)
- Detecting properties from descriptions of groups (Q2309493) (← links)
- Scott sentences for equivalence structures (Q2309506) (← links)
- Describing free groups (Q2844726) (← links)
- Describing groups (Q2964051) (← links)
- On optimal Scott sentences of finitely generated algebraic structures (Q3177855) (← links)
- Rice’s Theorem in Effectively Enumerable Topological Spaces (Q3195700) (← links)
- Computable elements and functions in effectively enumerable topological spaces (Q4593240) (← links)
- AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS (Q5067872) (← links)
- Categoricity properties for computable algebraic fields (Q5246988) (← links)
- Index sets for classes of high rank structures (Q5444710) (← links)
- THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS (Q5855748) (← links)
- ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES (Q5855756) (← links)