<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-06-18 00:53:43Golden ratio Mathematics Differential geometry Proof theory Jensen hierarchy Numbers Symbol Constructible universe |
Add to Reading List |
First-Order Strong Progression for Local-Effect Basic Action Theories | BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS ´ AND PAULO OLIVA ´ ESCARDO MARTINDocID: 11T1F - View Document |
| First-Order Strong Progression for Local-Effect Basic Action TheoriesDocID: RZBd - View Document |
| Axiomatic Set Theory: Problem sheet 5 S 1. Assuming (as was shown in the lectures), that a ∈ L → a ∈ L and a ∈ L → Pa ∩ L ∈ L, verify carefully that hL, ∈i ² union, powerset. 2. The rank of a set A, rk(ADocID: 9tuC - View Document |
| BINARY SUBTREES WITH FEW LABELED PATHS RODNEY G. DOWNEY, NOAM GREENBERG, CARL G. JOCKUSCH, JR., AND KEVIN G. MILANS Abstract. We prove several quantitative Ramseyan results involving ternary complete trees with {0, 1}-laDocID: 8WbF - View Document |
| MFPS[removed]Continuity of Gödel’s system T definableDocID: 3M8E - View Document |