Results 1 -
2 of
2
Degree structures: Local and global investigations
- Bulletin of Symbolic Logic
"... $1. Introduction. The occasion of a retiring presidential address seems like a time to look back, take stock and perhaps look ahead. ..."
Abstract
-
Cited by 4 (1 self)
- Add to MetaCart
$1. Introduction. The occasion of a retiring presidential address seems like a time to look back, take stock and perhaps look ahead.
BARWISE: INFINITARY LOGIC AND ADMISSIBLE SETS
"... 1. Background on infinitary logic 2 1.1. Expressive power of Lω1ω 2 1.2. The back-and-forth construction 3 ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
1. Background on infinitary logic 2 1.1. Expressive power of Lω1ω 2 1.2. The back-and-forth construction 3
