The following pages link to (Q5459305):
Displaying 9 items.
- Stability of recursive structures in arithmetical degrees (Q1094410) (← links)
- Structure and definability in general bounded arithmetic theories (Q1125060) (← links)
- Arithmetic complexity of first-order definable subsets of recursive Boolean algebras (Q1284381) (← links)
- (Q3705454) (← links)
- Arithmetic definability by formulas with two quantifiers (Q4008742) (← links)
- (Q4429280) (← links)
- Constructivizable and non-constructivizable formal arithmetic structures (Q4722049) (← links)
- Ranked structures and arithmetic transfinite recursion (Q5437595) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)