The following pages link to (Q2906566):
Displaying 27 items.
- A class of almost \(c\)-simple rings (Q259849) (← links)
- On \(\Sigma\)-rigid presentations of the real order (Q404712) (← links)
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) (Q467668) (← links)
- Universal functions and almost \(c\)-simple models (Q498242) (← links)
- Some presentations of the real number field (Q694238) (← links)
- Universal functions over trees (Q887649) (← links)
- Nonpresentability of some structures of analysis in hereditarily finite superstructures (Q1644856) (← links)
- Conditional terms in semantic programming (Q1694705) (← links)
- Tarski-type problems for free associative algebras (Q1702719) (← links)
- What does a group algebra of a free group ``know'' about the group? (Q1709682) (← links)
- Recursive terms in semantic programming (Q1731392) (← links)
- Universal functions and unbounded branching trees (Q1731524) (← links)
- \(\Sigma\)-definability in hereditarily finite superstructures and computable analysis (Q1734964) (← links)
- Computable embeddings for pairs of linear orders (Q2055305) (← links)
- A note on computable embeddings for ordinals and their reverses (Q2106587) (← links)
- On mutual definability of operations on fields (Q2186309) (← links)
- Positive numberings in admissible sets (Q2191379) (← links)
- Universal functions and \(K \Sigma \)-structures (Q2191390) (← links)
- Universal functions and \(\Sigma_\omega \)-bounded structures (Q2246823) (← links)
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) (Q2300935) (← links)
- A sufficient condition for nonpresentability of structures in hereditarily finite superstructures (Q2364328) (← links)
- Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
- Computable Model Theory over the Reals (Q2970968) (← links)
- Definable Subsets of Polynomial-Time Algebraic Structures (Q5042236) (← links)
- A Computable Structure with Non-Standard Computability (Q5230801) (← links)
- On universal functions in hereditarily finite superstructures (Q5879041) (← links)
- Generalized fusible numbers and their ordinals (Q6050166) (← links)
