<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-04-17 14:32:29Function Adjoint functors Interpretation First-order logic Heyting algebra Mathematics Mathematical analysis Model theory |
|
| First Page | Document Content | |
|---|---|---|
Date: 2013-04-17 14:32:29Function Adjoint functors Interpretation First-order logic Heyting algebra Mathematics Mathematical analysis Model theory |
|
Generalizations of Hedberg’s Theorem Nicolai Kraus1 , Mart´ın Escard´o2 , Thierry Coquand3 , and Thorsten Altenkirch1