Pages that link to "Item:Q4323040"
From MaRDI portal
The following pages link to Hereditary undecidability of some theories of finite structures (Q4323040):
Displaying 13 items.
- An optimal construction of Hanf sentences (Q420856) (← links)
- The structure of the models of decidable monadic theories of graphs (Q810005) (← links)
- Structure and enumeration theorems for hereditary properties in finite relational languages (Q1706268) (← links)
- Undecidable fragments of elementary theories (Q1906521) (← links)
- Hyperfinite MV-algebras (Q2376570) (← links)
- Interpretation of graphs in noncommutative theories of Frechet powers (Q2452705) (← links)
- A note on hereditarily Π10- and Σ10-complete sets of sentences (Q2957964) (← links)
- A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
- (Q4007002) (← links)
- (Q4664636) (← links)
- (Q4677695) (← links)
- UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES (Q5177872) (← links)
- The theory of hereditarily bounded sets (Q6094150) (← links)