The following pages link to Computer Science Logic (Q5292666):
Displaying 6 items.
- On effective \(\sigma\)-boundedness and \(\sigma\)-compactness in Solovay's model (Q887502) (← links)
- The formal completion of the Néron model of \(J_ 0(p)\) (Q1182647) (← links)
- (Q4281476) (← links)
- (Q4428717) (← links)
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function (Q5687291) (← links)
- Effective Cylindrical Cell Decompositions for Restricted Sub-Pfaffian Sets (Q5862786) (← links)