13629 results in The Journal of Symbolic Logic
Systems of notations and the ramified analytical hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-253
- Print publication:
- June 1974
-
- Article
- Export citation
A noninitial segment of index sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-224
- Print publication:
- June 1974
-
- Article
- Export citation
Correction to ‘A model theoretic characterisation of effective operations’
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 225
- Print publication:
- June 1974
-
- Article
- Export citation
Sets of theorems with short proofs
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-242
- Print publication:
- June 1974
-
- Article
- Export citation
Yap Hian Poh. Postulational study of an axiom system of Boolean algebra. Majallah Tahunan 'Ilmu Pasti—Shu Hsüeh Nien K'an—Bulletin of Mathematical Society of Nanyang University (1960), pp. 94–110. - R. M. Dicker. A set of independent axioms for Boolean algebra. Proceedings of the London Mathematical Society, ser. 3 vol. 13 (1963), pp. 20–30. - P. J. van Albada. A self-dual system of axioms for Boolean algebra. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A vol. 67 (1964), pp. 377–381; also Indagationes mathematicae, vol. 26 (1964), pp. 377–381. - Antonio Diego and Alberto Suárez. Two sets of axioms for Boolean algebras. Portugaliae mathematica, vol. 23 nos. 3–4 (for 1964, pub. 1965), pp. 139–145. (Reprinted from Notas de lógica matemática no. 16, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca 1964, 13 pp.) - P. J. van Albada. Axiomatique des algèbres de Boole. Bulletin de la Société Mathématique de Belgique, vol. 18 (1966), pp. 260–272. - Lawrence J. Dickson. A short axiomatic system for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 6 (1967), pp. 253–257. - Leroy J. Dickey. A shorter axiomatic system for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 8 (1968), p. 336. - Chinthayamma . Independent postulate sets for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 9 (1968), pp. 378–379. - Kiyoshi Iséki. A simple characterization of Boolean rings. Proceedings of the Japan Academy, vol. 44 (1968), pp. 923–924. - Sakiko Ôhashi. On definitions of Boolean rings and distributive lattices. Proceedings of the Japan Academy, vol. 44 (1968), pp. 1015–1017.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 658-660
- Print publication:
- December 1973
-
- Article
- Export citation
R. MacDowell and E. Specker. Modelle der Arithmetik. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 257–263.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-652
- Print publication:
- December 1973
-
- Article
- Export citation
A. N. Kolmogorov and V. A. Uspeńskij. K oprédéléniú algoritma (On the definition of an algorithm). Uspéhi matématičéskih nauk, vol. 13 no. 4 (1958), pp. 3–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
- Print publication:
- December 1973
-
- Article
- Export citation
Marian Boykan Pour-El. Independent axiomatization and its relation to the hypersimple set. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 (1968), pp. 449–456.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-655
- Print publication:
- December 1973
-
- Article
- Export citation
H. Jerome Keisler. Model theory. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 141–150.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 648
- Print publication:
- December 1973
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 672-710
- Print publication:
- December 1973
-
- Article
- Export citation
Saharon Shelah. On the cardinality of ultraproduct of finite sets. The journal of symbolic logic, vol. 35 (1970), pp. 83–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 650
- Print publication:
- December 1973
-
- Article
- Export citation
Yiannis N. Moschovakis. The game quantifier. Proceedings of the American Mathematical Society, vol. 31 (1972), pp. 245–250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
- Print publication:
- December 1973
-
- Article
- Export citation
Generic expansions of structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 561-570
- Print publication:
- December 1973
-
- Article
- Export citation
Richard C. Jeffrey. Formal logic: Its scope and limits. McGraw-Hill Book Company, New York etc. 1967, xii + 238 pp. - Richard C. Jeffrey. Instructor's manual to accompany Formal logic: Its scope and limits. McGraw-Hill Book Company, New York etc. 1967, iii + 58 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 646-647
- Print publication:
- December 1973
-
- Article
- Export citation
J. J. C. Smart. Theory construction. Logic and language (Second series), edited by A. G. N. Flew, Basil Blackwell, Oxford 1953, and Philosophical Library, New York 1953, pp. 222–242; also Logic and language (First and second series), edited and with introductions by Antony Flew, Doubleday Anchor Books, Doubleday & Company, Inc., Garden City, N.Y., 1965, pp. 446–467. (Reprinted from Philosophy and phenomenological research, vol. 11 no. 4 (1951), pp. 457-473.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-668
- Print publication:
- December 1973
-
- Article
- Export citation
Notice of summer institute, logic colloquium, and meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 671
- Print publication:
- December 1973
-
- Article
- Export citation
Roger C. Lyndon. Notes on logic. D. Van Nostrand Company, Inc., Princeton, Toronto, and London, 1966. Reprinted 1967, vi + 97 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 644-646
- Print publication:
- December 1973
-
- Article
- Export citation
H. Jerome Keisler. On cardinalities of ultraproducts. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 644–647.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 650
- Print publication:
- December 1973
-
- Article
- Export citation
Prefix classes of Krom formulas1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 628-642
- Print publication:
- December 1973
-
- Article
- Export citation
Thomas J. Grilliot. Selection functions for recursive functionals. Notre Dame journal of formal logic, vol. 10 (1969), pp. 225–234.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 653-654
- Print publication:
- December 1973
-
- Article
- Export citation