The following pages link to (Q4038531):
Displaying 4 items.
- On decidability of the theory with the transitive closure operator (Q266242) (← links)
- On the closure of relational models (Q900826) (← links)
- Relative \(e\)-spectra and relative closures for families of theories (Q2403636) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)