The following pages link to Alistair H. Lachlan (Q1182486):
Displaying 50 items.
- (Q759009) (redirect page) (← links)
- On universal Horn classes categorical in some infinite power (Q759010) (← links)
- (Q795825) (redirect page) (← links)
- Vector spaces and binary quantifiers (Q795826) (← links)
- Some coinductive graphs (Q917541) (← links)
- \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures (Q1059068) (← links)
- On countable stable structures which are homogeneous for a finite relational language (Q1084097) (← links)
- Stable structures homogeneous for a finite binary language (Q1084098) (← links)
- Structures coordinatized by indiscernible sets (Q1109025) (← links)
- Not every finite lattice is embeddable in the recursively enumerable degrees (Q1142206) (← links)
- The d.r.e. degrees are not dense (Q1182487) (← links)
- The \(n\)-rea enumeration degrees are dense (Q1204114) (← links)
- Two theorems on many-one degrees of recursively enumerable sets (Q1218853) (← links)
- Theories with a finite number of models in an uncountable power are categorical (Q1230625) (← links)
- The continuity of cupping to \(\text \textbf{0}'\) (Q1314642) (← links)
- On some games which are relevant to the theory of recursively enumerable sets (Q1393224) (← links)
- Obituary: Alan Mekler (Q1803660) (← links)
- The elementary theory of recursively enumerable sets (Q1843563) (← links)
- Recursively enumerable many-one degrees (Q1845719) (← links)
- On countable homogeneous \(3\)-hypergraphs (Q1908813) (← links)
- Corrigendum to: ``The d.r.e. degrees are not dense'' (Q2407276) (← links)
- Initial segments of one-one degrees (Q2535239) (← links)
- The transcendental rank of a theory (Q2550384) (← links)
- A Note on Positive Equivalence Relations (Q3026990) (← links)
- (Q3032236) (← links)
- On the semantics of the Henkin quantifier (Q3208639) (← links)
- Solution to a Problem of Spector (Q3214910) (← links)
- The <i>U</i>‐Quantifier (Q3281963) (← links)
- Multiple Recursion (Q3293403) (← links)
- (Q3343969) (← links)
- A Remark on Pseudo-Jump Operators (Q3470463) (← links)
- Complete Coinductive Theories. I (Q3486554) (← links)
- (Q3666878) (← links)
- Two theorems on degrees of models of true arithmetic (Q3697017) (← links)
- Binary Homogeneous Structures I (Q3757900) (← links)
- Binary Homogeneous Structures II (Q3757901) (← links)
- Alternative Characterizations of Precomplete Numerations (Q3775544) (← links)
- Complete theories with only universal and existential axioms (Q3777997) (← links)
- Stable Finitely Homogeneous Structures (Q3781744) (← links)
- (Q3813800) (← links)
- Bounding minimal pairs (Q3864501) (← links)
- (Q3895453) (← links)
- Decomposition of Recursively Enumerable Degrees (Q3897040) (← links)
- Countable Ultrahomogeneous Undirected Graphs (Q3924176) (← links)
- Construction of Satisfaction Classes for Nonstandard Models (Q3924205) (← links)
- Full Satisfaction Classes and Recursive Saturation (Q3924206) (← links)
- Singular properties of Morley rank (Q3927217) (← links)
- Complete Coinductive Theorems. II (Q3984293) (← links)
- ℵ<sub>0</sub>-categorical tree-decomposable structures (Q4032634) (← links)
- A note on Thomason's refined structures for tense logics (Q4055623) (← links)
