Pages that link to "Item:Q1124586"
From MaRDI portal
The following pages link to The non-definability notion and first order logic (Q1124586):
Displaying 5 items.
- Nonstandard definability (Q913793) (← links)
- Definability and quantifier elimination for \(J_ 3\)-theories (Q1095881) (← links)
- Non-definability of Languages by Generalized First-order Formulas over (N,+) (Q2986821) (← links)
- Untestable Properties Expressible with Four First-Order Quantifiers (Q3564875) (← links)
- (Q4035696) (← links)