Research Article
Iterated reflection principles and the ω-rule
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 721-733
-
- Article
- Export citation
Preservation of elementary equivalence under scalar extension1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 734-738
-
- Article
- Export citation
Constructible lattices of c-degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 739-754
-
- Article
- Export citation
Reflecting stationary sets1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-771
-
- Article
- Export citation
Real-valued models with metric equality and uniformly continuous predicates
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 772-792
-
- Article
- Export citation
First-order logic based on inclusion and abstraction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 793-808
-
- Article
- Export citation
Recursively enumerable generic sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 809-823
-
- Article
- Export citation
A topological analog to the Rice-Shapiro index theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 824-832
-
- Article
- Export citation
Models of arithmetic and closed ideals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 833-840
-
- Article
- Export citation
Théories d'arbres
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 841-853
-
- Article
- Export citation
Partial degrees and the density problem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 854-859
-
- Article
- Export citation
Analytic sets having incomparable kleene degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 860-868
-
- Article
- Export citation
Solution to the P − W problem1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 869-887
-
- Article
- Export citation
The combinatorial principle ⋄#
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 888-899
-
- Article
- Export citation
Reviews
Marian Boykan Pour-El and Ian Richards. A computable ordinary differential equation which possesses no computable solution, Annals of mathematical logic, vol. 17 (1979), pp. 61–90. - Marian Boykan Pour-El and Ian Richards. The wave equation with computable initial data such that its unique solution is not computable. Advances in mathematics, vol. 39 (1981), pp. 215–239.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 900-902
-
- Article
- Export citation
Dag Normann. A jump operator in set recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 25 (1979), pp. 251–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 902
-
- Article
- Export citation
V. L. MurskiĬ. Nondiscernible properties of finite systems of identity relations. Soviet mathematics, vol. 12 (1971), pp. 183–186. (English translation by D. M. Pritzker of Néraspozna-vaémyé svojstva konéčnyh sistém toždéstvénnyh sootnošénij, Doklady Akademie Nauk SSSR, vol. 196 (1971), pp. 520–522.) - George F. McNulty. The decision problem for equational bases of algebras. Annals of mathematical logic, vol. 10 (1976), pp. 193–259. - George F. McNulty. Undecidable properties of finite sets of equations. The journal of symbolic logic, vol. 41 (1976), pp. 589–604.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 903-904
-
- Article
- Export citation
Don Pigozzi. Base-undecidable properties of universal varieties. Algebra universalis, vol. 6 (1976), pp. 193–223. - Don Pigozzi. Universal equational theories and varieties of algebras. Annals of mathematical logic, vol. 17 (1979), pp. 117–150.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 904
-
- Article
- Export citation
M. E. Szabo. Algebra of proofs. Studies in logic and the foundations of mathematics, vol. 88. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xii + 297 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 904-907
-
- Article
- Export citation
Andreas Baudisch, Detlef Seese, Hans-Peter Tuschik, and Martin Weese. Decidability and generalized quantifiers. Mathematical research-Mathematische Forschung, vol. 3. Akademie-Verlag, Berlin1980, XII + 235 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 907-908
-
- Article
- Export citation