Pages that link to "Item:Q5226592"
From MaRDI portal
The following pages link to FOUNDATIONS OF ONLINE STRUCTURE THEORY (Q5226592):
Displaying 31 items.
- New degree spectra of Polish spaces (Q820494) (← links)
- Constructing punctually categorical semigroups (Q828124) (← links)
- Primitive recursive ordered fields and some applications (Q831997) (← links)
- Punctual dimension of algebraic structures in certain classes (Q2030135) (← links)
- Punctual categoricity relative to a computable oracle (Q2030137) (← links)
- Punctual definability on structures (Q2033006) (← links)
- Non-density in punctual computability (Q2041959) (← links)
- Punctual categoricity spectra of computably categorical structures (Q2055311) (← links)
- On bi-embeddable categoricity of algebraic structures (Q2067511) (← links)
- A note on computable embeddings for ordinals and their reverses (Q2106587) (← links)
- Searching for applicable versions of computable structures (Q2117745) (← links)
- Punctual structures and primitive recursive reducibility (Q2172879) (← links)
- Graphs are not universal for online computability (Q2186809) (← links)
- Effective categoricity of automatic equivalence and nested equivalence structures (Q2195573) (← links)
- Online presentations of finitely generated structures (Q2205949) (← links)
- Definable Subsets of Polynomial-Time Algebraic Structures (Q5042236) (← links)
- Rogers semilattices of punctual numberings (Q5048010) (← links)
- Primitive recursive equivalence relations and their primitive recursive complexity (Q5061388) (← links)
- A structure of punctual dimension two (Q5111521) (← links)
- (Q5155667) (← links)
- PUNCTUAL CATEGORICITY AND UNIVERSALITY (Q5858918) (← links)
- To reorient is easier than to orient: An on-line algorithm for reorientation of graphs (Q5859844) (← links)
- Computable embeddability for algebraic structures (Q5876742) (← links)
- Primitive recursive ordered fields and some applications (Q5880940) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
- Punctual 1-linear orders (Q6059288) (← links)
- On the main scientific achievements of Victor Selivanov (Q6146819) (← links)
- Punctually presented structures I: Closure theorems (Q6146821) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)
- On the index set of punctually categorical finitely generated structures (Q6544199) (← links)
- Computably and punctually universal spaces (Q6614035) (← links)