Research Article
The hierarchy theorem for generalized quantifiers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 802-817
-
- Article
- Export citation
On power set in explicit mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-489
-
- Article
- Export citation
Uniformization, choice functions and well orders in the class of trees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1206-1227
-
- Article
- Export citation
Bimodal logics for extensions of arithmetical theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-124
-
- Article
- Export citation
Set theoretic naturalism
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-514
-
- Article
- Export citation
Some theories with positive induction of ordinal strength φω0
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 818-842
-
- Article
- Export citation
Monotone inductive definitions in explicit mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-146
-
- Article
- Export citation
A recursive nonstandard model of normal open induction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1228-1241
-
- Article
- Export citation
Some characterization theorems for infinitary universal Horn logic without equality
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1242-1260
-
- Article
- Export citation
Definability and decidability issues in extensions of the integers with the divisibility predicate
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-540
-
- Article
- Export citation
Relational and partial variable sets and basic predicate logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 843-872
-
- Article
- Export citation
The expressive power of fixed-point logic with counting
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-176
-
- Article
- Export citation
Mathias absoluteness and the Ramsey property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-194
-
- Article
- Export citation
On boolean subalgebras of
(ω1)/ctble
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 873-879
-
- Article
- Export citation
The undecidability of second order linear logic without exponentials
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-548
-
- Article
- Export citation
If there is an exactly λ-free abelian group then there is an exactly λ-separable one in λ
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1261-1278
-
- Article
- Export citation
The proofs of α → α in P – W
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-211
-
- Article
- Export citation
Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 880-905
-
- Article
- Export citation
Countable models of trivial theories which admit finite coding
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1279-1286
-
- Article
- Export citation
On finite rigid structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-562
-
- Article
- Export citation