91 search results - page 7 / 19 » aml 2007 |
AML
2002
13 years 9 months ago
2002
Abstract We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization.
AML
2004
13 years 9 months ago
2004
We characterise imaginaries (up to interdefinability) in Hilbert spaces using a Galois theory for compact unitary groups.
AML
2004
13 years 9 months ago
2004
We examine the conditions under which we can keep simplicity or categoricity after adding a Skolem function to the theory. AMS classification: 03C45 , 03C50
AML
2006
13 years 9 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...
AML
2006
13 years 9 months ago
2006
Abstract. We answer a question of Jockusch by constructing a hyperimmunefree minimal degree below a 1-generic one. To do this we introduce a new forcing notion called arithmetical ...