The following pages link to [Russian Text Ignored] (Q5895465):
Displaying 8 items.
- Towards the range property for the lambda theory \(\mathcal H\) (Q930864) (← links)
- A conservative extension of a formal arithmetic (Q1264136) (← links)
- A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic (Q1375747) (← links)
- Consistency argument and classification problem in \(\lambda\)-calculus (Q1610037) (← links)
- Herbrand consistency of some arithmetical theories (Q2915894) (← links)
- Lambda theories allowing terms with a finite number of fixed points (Q2973253) (← links)
- (Q3343960) (← links)
- (Q3837724) (← links)