Research Article
ZF + “Every set is the same size as a wellfounded set”
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-4
-
- Article
- Export citation
The theory of Liouville functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-365
-
- Article
- Export citation
Canonical functions, non-regular ultrafilters and Ulam's problem on ω1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 713-739
-
- Article
- Export citation
Universally Baire sets and definable well-orderings of the reals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1065-1081
-
- Article
- Export citation
An application of graphical enumeration to PA*
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 5-16
-
- Article
- Export citation
Generality of proofs and its Brauerian representation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 740-750
-
- Article
- Export citation
Universal graphs at the successor of a singular cardinal
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-388
-
- Article
- Export citation
A theory for Log-Space and NLIN versus co-NLIN
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1082-1090
-
- Article
- Export citation
The completeness of Heyting first-order logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 751-763
-
- Article
- Export citation
Outer models and genericity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-418
-
- Article
- Export citation
On the induction schema for decidable predicates
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-34
-
- Article
- Export citation
The axiom of choice and combinatory logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1091-1108
-
- Article
- Export citation
Definable sets in boolean ordered o-minimal structures. II
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-51
-
- Article
- Export citation
Ranked partial structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1109-1144
-
- Article
- Export citation
Simulating polyadic modal logics by monadic ones
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-462
-
- Article
- Export citation
Ultrafilters on the natural numbers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 764-784
-
- Article
- Export citation
Constructive interpolation in hybrid logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 463-480
-
- Article
- Export citation
On a problem of Cooper and Epstein
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-64
-
- Article
- Export citation
Transfer methods for o-minimal topology
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 785-794
-
- Article
- Export citation
Simple stable homogeneous groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1145-1162
-
- Article
- Export citation