Research Article
Satisfaction relations for proper classes: Applications in logic and set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-368
-
- Article
- Export citation
Forcing Closed Unbounded Subsets of אω1+1
-
- Published online by Cambridge University Press:
- 12 August 2016, pp. 681-707
-
- Article
- Export citation
Getting more colors I
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-16
-
- Article
- Export citation
On the Optimality of Conservation Results for Local Reflection in Arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1025-1035
-
- Article
- Export citation
Getting more colors II
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-38
-
- Article
- Export citation
K Without the Measurable
-
- Published online by Cambridge University Press:
- 12 August 2016, pp. 708-734
-
- Article
- Export citation
Extensions of ordered theories by generic predicates
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 369-387
-
- Article
- Export citation
Decidability of Definability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1036-1054
-
- Article
- Export citation
On the failure of BD-ℕ and BD, and an application to the anti-specker property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-56
-
- Article
- Export citation
On the Prewellorderings Associated with the Directed Systems of Mice
-
- Published online by Cambridge University Press:
- 12 August 2016, pp. 735-763
-
- Article
- Export citation
Computably Isometric Spaces
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1055-1085
-
- Article
- Export citation
Decidability for some justification logics with negative introspection
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 388-402
-
- Article
- Export citation
Canonical measure assignments
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 403-424
-
- Article
- Export citation
Homology Groups of Types in Model Theory and the Computation of H2(p)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1086-1114
-
- Article
- Export citation
Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics
-
- Published online by Cambridge University Press:
- 12 August 2016, pp. 764-784
-
- Article
- Export citation
Some jump-like operations in β-recursion theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-71
-
- Article
- Export citation
The Determinacy of Context-Free Games
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1115-1134
-
- Article
- Export citation
Namba Forcing and No Good Scale
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 785-802
-
- Article
- Export citation
A fixed point for the jump operator on structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 425-438
-
- Article
- Export citation
Fields with few types
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-84
-
- Article
- Export citation