Research Article
The Jensen Covering Property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1505-1523
-
- Article
- Export citation
Hybrid logics: characterization, interpolation and complexity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 977-1010
-
- Article
- Export citation
On the strength of Ramsey's theorem for pairs
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-55
-
- Article
- Export citation
Degree spectra of intrinsically c.e. relations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 441-469
-
- Article
- Export citation
An axiomatization of full Computation Tree Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1011-1057
-
- Article
- Export citation
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1524-1542
-
- Article
- Export citation
Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-86
-
- Article
- Export citation
The
-spectrum of a linear order
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-486
-
- Article
- Export citation
On the convergence of query-bounded computations and logical closure properties of c.e. sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1543-1560
-
- Article
- Export citation
Slim models of Zermelo set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 487-496
-
- Article
- Export citation
A boundedness lemma for iterations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1058-1072
-
- Article
- Export citation
Strong axioms of infinity in NFU
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-116
-
- Article
- Export citation
Quasi-Modal Equivalence of Canonical Structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-508
-
- Article
- Export citation
Pure type systems with more liberal rules
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1561-1580
-
- Article
- Export citation
Minimal but not strongly minimal structures with arbitrary finite dimensions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-126
-
- Article
- Export citation
First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1073-1089
-
- Article
- Export citation
On elementary embeddings from an inner model to the universe
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1090-1116
-
- Article
- Export citation
Credibility limited revision
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1581-1596
-
- Article
- Export citation
Exchange rules
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-516
-
- Article
- Export citation
Hyperimaginaries and automorphism groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-143
-
- Article
- Export citation