Pages that link to "Item:Q4419268"
From MaRDI portal
The following pages link to Arithmetical definability over finite structures (Q4419268):
Displaying 12 items.
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Countable structures \(\Sigma \)-definable over classical continuous number systems (Q957779) (← links)
- Structure and definability in general bounded arithmetic theories (Q1125060) (← links)
- First-order expressibility of languages with neutral letters or: The Crane Beach conjecture (Q1776372) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- Theories of arithmetics in finite models (Q3370752) (← links)
- Arithmetic definability by formulas with two quantifiers (Q4008742) (← links)
- (Q4556200) (← links)
- Constructivizable and non-constructivizable formal arithmetic structures (Q4722049) (← links)
- Ranked structures and arithmetic transfinite recursion (Q5437595) (← links)
- (Q5459305) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)