Pages that link to "Item:Q3777997"
From MaRDI portal
The following pages link to Complete theories with only universal and existential axioms (Q3777997):
Displaying 7 items.
- Some coinductive graphs (Q917541) (← links)
- An approximate Herbrand's theorem and definable functions in metric structures (Q2888633) (← links)
- Complete Coinductive Theories. I (Q3486554) (← links)
- Relational structures determined by their finite induced substructures (Q3791127) (← links)
- Complete Coinductive Theorems. II (Q3984293) (← links)
- Stable Absolutely Ubiquitous Structures (Q4299247) (← links)
- COUNTING SIBLINGS IN UNIVERSAL THEORIES (Q5100052) (← links)