Research Article
On nonstandard models in higher order logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-219
-
- Article
- Export citation
A decidable subclass of the minimal Gödel class with identity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1253-1261
-
- Article
- Export citation
Inconsistent models for relevant arithmetics1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 917-929
-
- Article
- Export citation
Spector forcing
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 542-554
-
- Article
- Export citation
Weak strong partition cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 555-557
-
- Article
- Export citation
Existentially closed torsion-free nilpotent groups of class three1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-230
-
- Article
- Export citation
Kueker's conjecture for superstable theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 930-934
-
- Article
- Export citation
A normal form theorem for first order formulas and its application to Gaifman's splitting theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1262-1267
-
- Article
- Export citation
Constructible falsity and inexact predicates
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-233
-
- Article
- Export citation
On modal systems having arithmetical interpretations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 935-942
-
- Article
- Export citation
Infinite subscripts from infinite exponents
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 558-562
-
- Article
- Export citation
On the ultrafilters and ultrapowers of strong partition cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1268-1272
-
- Article
- Export citation
On supervaluations in free logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 943-950
-
- Article
- Export citation
Generic graph construction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-240
-
- Article
- Export citation
On Σ11 equivalence relations with Borel classes of bounded rank1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1273-1283
-
- Article
- Export citation
A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 563-569
-
- Article
- Export citation
Filter Logics on ω
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-256
-
- Article
- Export citation
A natural extension of natural deduction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1284-1300
-
- Article
- Export citation
Some undecidability results in strong algebraic languages
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 951-954
-
- Article
- Export citation
Models of the alternative set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 570-585
-
- Article
- Export citation