The following pages link to S. Yu. Podzorov (Q1284380):
Displaying 15 items.
- Arithmetic complexity of first-order definable subsets of recursive Boolean algebras (Q1284381) (← links)
- Restricted completeness of extended Boolean algebras (Q1288094) (← links)
- Relative complexity for computable presentations of the conventional linear order on the set of naturals (Q1876412) (← links)
- (Q2760734) (← links)
- (Q3068310) (← links)
- Numbered distributive semilattices (Q3115346) (← links)
- The universal Lachlan semilattice without the greatest element (Q3546081) (← links)
- (Q4436292) (← links)
- (Q4517147) (← links)
- (Q4795521) (← links)
- (Q4795525) (← links)
- (Q4936685) (← links)
- (Q5294733) (← links)
- Local structure of Rogers semilattices of Σn 0-computable numberings (Q5393765) (← links)
- (Q5476772) (← links)
