The following pages link to Pier Luigi Ferrari (Q587951):
Displaying 31 items.
- (Q688430) (redirect page) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- Real numbers, continued fractions and complexity classes (Q751655) (← links)
- Locally finite adequate subcategories (Q760492) (← links)
- A non-standard study of the theory of relative recursivity (Q791520) (← links)
- Canonical partitions of universal structures (Q858113) (← links)
- Coloring subgraphs of the Rado graph (Q858115) (← links)
- Exact approximations to Stone-Čech compactification (Q882119) (← links)
- Nonstandard representations of locally compact groups (Q942054) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- How recent work in mathematical logic relates to the foundations of mathematics (Q1085151) (← links)
- Diagonalization of continuous matrices as a representation of intuitionistic reals (Q1086560) (← links)
- Compactness in constructive analysis revisited (Q1100202) (← links)
- Definability in self-referential systems (Q1119575) (← links)
- The constructive implicit function theorem and applications in mechanics (Q1125119) (← links)
- A globalization of the Hahn-Banach theorem (Q1177237) (← links)
- A course in constructive algebra (Q1210701) (← links)
- (Q1248503) (redirect page) (← links)
- Axiomatic theory of enumeration: A note on the axiom of extensionality (Q1248504) (← links)
- Markov's principle, Church's thesis and Lindelöf's theorem (Q1315098) (← links)
- Gleason's theorem has a constructive proof (Q1582232) (← links)
- The problem of the formalization of constructive topology (Q1765104) (← links)
- Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← links)
- Constructive mathematics and unbounded operators -- a reply to Hellman (Q1902560) (← links)
- A nilregular element property (Q2487024) (← links)
- On the collection of points of a formal space (Q2575767) (← links)
- The Rank Function and Hilbert'S Second ε-Theorem (Q3809764) (← links)
- (Q3953759) (← links)
- A note on a proof of Hilbert's second <i>ε</i>-theorem (Q4724597) (← links)
- Converses of Bishop's lemma on located sets (Q5935882) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)
