Research Article
Minimal invariant spaces in formal topology
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 689-698
-
- Article
- Export citation
Finitary sketches
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 699-707
-
- Article
- Export citation
Lower bounds for cutting planes proofs with small coefficients
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 708-728
-
- Article
- Export citation
Compact bracket abstraction in combinatory logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 729-740
-
- Article
- Export citation
Precipitous towers of normal filters
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 741-754
-
- Article
- Export citation
A new deconstructive logic: linear logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-807
-
- Article
- Export citation
Coding without fine structure
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 808-815
-
- Article
- Export citation
Complete representations in algebraic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 816-847
-
- Article
- Export citation
Peano arithmetic may not be interpretable in the monadic theory of linear orders
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 848-872
-
- Article
- Export citation
The forth part of the back and forth map in countable homogeneous structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 873-890
-
- Article
- Export citation
Accessible categories, saturation and categoricity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 891-901
-
- Article
- Export citation
The cofinality spectrum of the infinite symmetric group
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 902-916
-
- Article
- Export citation
Decidability of Scott's model as an ordered ℚ-vectorspace
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 917-924
-
- Article
- Export citation
Counting finite models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 925-949
-
- Article
- Export citation
Canonical formulas for K4. Part III: the finite model property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 950-975
-
- Article
- Export citation
Rothberger's property and partition relations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 976-980
-
- Article
- Export citation
Lower bounds for resolution and cutting plane proofs and monotone computations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 981-998
-
- Article
- Export citation
Undefinability of κ-well-orderings in L∞κ
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 999-1020
-
- Article
- Export citation
A logical presentation of the continuous functionals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1021-1034
-
- Article
- Export citation
Reviews
Shelah Saharon. Cardinal arithmetic. Oxford logic guides, no. 29. Clarendon Press, OxfordUniversity Press, Oxford and New York1994, xxxi + 481 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1035-1039
-
- Article
- Export citation