The following pages link to Leo Marcus (Q1138392):
Displaying 13 items.
- Purging in an equality data base (Q1138393) (← links)
- Minimal models of theories of one function symbol (Q1214413) (← links)
- A minimal prime model with an infinite set of indiscernibles (Q1214923) (← links)
- A theory with only non-homogeneous minimal models (Q1221107) (← links)
- Expressibility of output equals input. Negative and positive results (Q1323378) (← links)
- An expansion of an $ℵ_0$-categorical model (Q3206932) (← links)
- (Q3805958) (← links)
- Existence, Uniqueness, and Construction of Rewrite Systems (Q3806799) (← links)
- A type-open minimal model (Q4085719) (← links)
- The ⊰-order on submodels (Q4096939) (← links)
- Elementary Separation by Elementary Expansion (Q4113825) (← links)
- The number of countable models of a theory of one unary function (Q4137159) (← links)
- (Q4890707) (← links)