Research Article
On finite approximations of topological algebraic systems
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-25
-
- Article
- Export citation
Linear Kripke frames and Gödel logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 26-44
-
- Article
- Export citation
The pointwise ergodic theorem in subsystems of second-order arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-66
-
- Article
- Export citation
Type-definable and invariant groups in o-minimal structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-80
-
- Article
- Export citation
Non-branching degrees in the Medvedev lattice of Π10 classes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-97
-
- Article
- Export citation
Intensional models for the theory of types
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-118
-
- Article
- Export citation
A question of van den Dries and a theorem of Lipshitz and Robinson; Not everything is standard
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-122
-
- Article
- Export citation
Theories very close to PA where Kreisel's Conjecture is false
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-137
-
- Article
- Export citation
The nonstationary ideal in the ℙmax extension
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-158
-
- Article
- Export citation
Completeness of MLL proof-nets w.r.t. weak distributivity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-170
-
- Article
- Export citation
Combinatorial principles weaker than Ramsey's Theorem for pairs
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-206
-
- Article
- Export citation
Red fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 207-225
-
- Article
- Export citation
Power set modulo small, the singular of uncountable cofinality
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-242
-
- Article
- Export citation
The logic of interactive turing reduction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-276
-
- Article
- Export citation
Elementary differences between the (2p)-C. E. and the (2p +1)-c. e. enumeration degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-284
-
- Article
- Export citation
A Reduction of the NF consistency Problem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-304
-
- Article
- Export citation
Bounding homogenous models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-323
-
- Article
- Export citation
Spectra of structures and relations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-348
-
- Article
- Export citation
Forcing indestructibility of set-theoretic axioms
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-360
-
- Article
- Export citation
Front matter
JSL volume 72 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation