13629 results in The Journal of Symbolic Logic
The model theory of chain-closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 921-930
- Print publication:
- September 1988
-
- Article
- Export citation
The independence of Peano's fourth axiom from Martin-Löf's type theory without universes
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 840-845
- Print publication:
- September 1988
-
- Article
- Export citation
Henry E. Kyburg Jr. Theory and measurement. Cambridge studies in philosophy. Cambridge University Press, Cambridge etc. 1984, viii + 273 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 989
- Print publication:
- September 1988
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1000-1006
- Print publication:
- September 1988
-
- Article
- Export citation
Decidability problem for finite Heyting algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 729-735
- Print publication:
- September 1988
-
- Article
- Export citation
J. Roger Hindley and Jonathan P. Seldin. Introduction to combinators and λ-calculus. London Mathematical Society student texts, no. 1. Cambridge University Press, Cambridge etc. 1986, vi + 360 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 985-986
- Print publication:
- September 1988
-
- Article
- Export citation
L. L. Ivanov. Algebraic recursion theory. Edited by J. L. Bell. Mathematics and its applications. Ellis Horwood Limited, Chichester, West Sussex, 1987 (© 1986), also distributed by Halsted Press, John Wiley & Sons, New York etc., 256 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 986-987
- Print publication:
- September 1988
-
- Article
- Export citation
A normalization theorem for set theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-695
- Print publication:
- September 1988
-
- Article
- Export citation
Gottlob Frege. Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl. Centenary edition of 495. With supplementary text critically edited by Christian Thiel. Felix Meiner Verlag, Hamburg1986, LXIII + 187 pp. - Christian Thiel. Einleitung des Herausgebers. Therein, pp. XXI–LXIII. - Ernst Reinhold Eduard Hoppe. Review of Frege's Die Grundlagen der Arithmetik (495). Therein, pp. 109–117. (Reprinted from Archiv der Mathematik und Physik, ser. 2 part 2 (1885), Litterarischer Bericht VII, pp. 28–35.) - Georg Cantor. Review of the same. A reprint of 651. Therein, pp. 117–119. - Ernst Zermelo. Anmerkung. A reprint of 1257. Therein, p. 119. - Gottlob Frege. Erwiderung. Therein, p. 120. (Reprinted from Deutsche Litteraturzeitung, vol. 6 (1885), col. 1030.) - Anonymous. Review of the same. Therein, pp. 120–121. (Reprinted from Literarisches Centralblatt für Deutschland, vol. 36 (1885), cols. 1514–1515.) - Rudolf Eucken. Review of the same. Therein, pp. 122–123. (Reprinted from Philosophische Monatshefte, vol. 22 (1886), pp. 421–422.) - Kurd Laßwitz. Review of the same. Therein, pp. 123–128. (Reprinted from Zeitschrift für Philosophic und philosophische Kritik, n.s., supplement to vol. 89 (1886), pp. 143–148.) - Ernst Schröder. Stellungnahme. A reprint of p. 704 of 427. Therein, pp. 128–129. - Edmund Husserl. Frege's Versuch. A reprint of VIII 59. Therein, pp. 129–134. - Heinrich Scholz. Review of the same. A reprint of 35319. Therein, pp. 134–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 993-999
- Print publication:
- September 1988
-
- Article
- Export citation
On topological spaces equivalent to ordinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 785-795
- Print publication:
- September 1988
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1007-1008
- Print publication:
- September 1988
-
- Article
- Export citation
Nino B. Cocchiarella. Logical investigations of predication theory and the problem of universals. Indices, no. 2. Bibliopolis, Naples1986, also distributed by Humanities Press, Atlantic Highlands, N.J., 265 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 991-993
- Print publication:
- September 1988
-
- Article
- Export citation
On the transversal hypothesis and the weak kurepa hypothesis
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 854-877
- Print publication:
- September 1988
-
- Article
- Export citation
Coinductive formulas and a many-sorted interpolation theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 937-960
- Print publication:
- September 1988
-
- Article
- Export citation
A note on definable Skolem functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 905-911
- Print publication:
- September 1988
-
- Article
- Export citation
Backwards easton forcing and 0#
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 809-833
- Print publication:
- September 1988
-
- Article
- Export citation
More on definable sets of p-adic numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 912-920
- Print publication:
- September 1988
-
- Article
- Export citation
A characterization of jump operators
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 708-728
- Print publication:
- September 1988
-
- Article
- Export citation
Circumscription within monotonic inferences
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 888-904
- Print publication:
- September 1988
-
- Article
- Export citation
Isomorphic but not lower base-isomorphic cylindric set algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 846-853
- Print publication:
- September 1988
-
- Article
- Export citation