13629 results in The Journal of Symbolic Logic
Implicational logics in natural deduction systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-186
- Print publication:
- March 1982
-
- Article
- Export citation
Reviews - Selected papers of Abraham Robinson. Volume 1. Model theory and algebra. Edited and with an introduction by H. J. Keisler. Yale University Press, New Haven and London1979, xxxvii + 694 pp. - George B. Selioman. Biography of Abraham Robinson, pp. xiii–xxxii. - H. J. Keisler. Introduction, pp. xxxiii–xxxvii. - Abraham Robinson. On the application of symbolic logic to algebra, pp. 3–11. A reprint of XVIII 182. - Abraham Robinson. Recent developments in model theory, pp. 12–31. A reprint of XL 269. - Abraham Robinson. On the construction of models, pp. 32–42. A reprint of XL 506. - Abraham Robinson, Metamathematical problems, pp. 43–59. (Reprinted from The journal of symbolic logic, vol. 38 (1973), pp. 500–516.) - Abraham Robinson. Model theory as a framework for algebra, pp. 60–83. (Reprinted from Studies in model theory, edited by M. D. Morley, Studies in mathematics, vol. 8, The Mathematical Association of America, Washington, D.C., 1973, pp. 134–157.) - Abraham Robinson. A result on consistency and its application to the theory of definition, pp. 87–98. A reprint of XXV 174. - Abraham Robinson. Ordered structures and related concepts, pp. 99–104. A reprint of XXV 170.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-203
- Print publication:
- March 1982
-
- Article
- Export citation
JSL volume 47 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1982
-
- Article
-
- You have access
- Export citation
An introduction to ω-extensions of ω-groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 27-36
- Print publication:
- March 1982
-
- Article
- Export citation
On the consistency of an impredicative subsystem of Quine's NF
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-136
- Print publication:
- March 1982
-
- Article
- Export citation
Selected papers of Abraham Robinson. Volume 2. Nonstandard analysis and philosophy. Edited and with an introduction by W. A. J. Luxemburg and S. Körner. Yale University Press, New Haven and London1979, xlv + 582 pp. - George B. Seligman. Biography of Abraham Robinson, pp. xi–xxx. A reprint of XLVII 197(1). - W. A. J. Luxemburg. Introduction to papers on nonstandard analysis and analysis, pp. xxxi–xxxix. - S. Körner. Introduction to papers on philosophy, pp. xli–xlv. - Abraham Robinson. Non-standard analysis, pp. 3–11. A reprint of XXXIV 292(1). - Abraham Robinson. On languages which are based on non-standard arithmetic, pp. 12–46. A reprint of XXXIV 516. - Abraham Robinson. On generalized limits and linear functionals, pp. 47–61. A reprint of XXXIV 292. - Abraham Robinson. On the theory of normal families, pp. 62–87. A reprint of XXXVII 215. - Allen R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos, pp. 88–98. A reprint of XXXIV 292. - Abraham Robinson. Topics in non-archimedean mathematics, pp. 99–112. A reprint of XXXIV 292.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-210
- Print publication:
- March 1982
-
- Article
- Export citation
Supercompact cardinals, elementary embeddings and fixed points1
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-88
- Print publication:
- March 1982
-
- Article
- Export citation
Simplicity in effective topology
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-183
- Print publication:
- March 1982
-
- Article
- Export citation
Forcing with stable posets
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 37-42
- Print publication:
- March 1982
-
- Article
- Export citation
Charles S. Chihara. Ontology and the vicious-circle principle. Cornell University Press, Ithaca and London1973, xvi + 260 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-225
- Print publication:
- March 1982
-
- Article
- Export citation
JSL volume 47 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1982
-
- Article
-
- You have access
- Export citation
Dimension theory and homogeneity for elementary extensions of a model
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-160
- Print publication:
- March 1982
-
- Article
- Export citation
Yiannis N. Moschovakis. Descriptive set theory. Studies in logic and the foundations of mathematics, vol. 100. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, xii + 637 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 874-876
- Print publication:
- December 1981
-
- Article
- Export citation
Stability of nilpotent groups of class 2 and prime exponent
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 781-788
- Print publication:
- December 1981
-
- Article
- Export citation
The model-theoretic significance of complemented existential formulas
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 843-850
- Print publication:
- December 1981
-
- Article
- Export citation
George Boolos. The unprovability of consistency. An essay in modal logic. Cambridge University Press, Cambridge etc. 1979, viii + 184 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 871-873
- Print publication:
- December 1981
-
- Article
- Export citation
Thomas Jech. Set theory. Pure and applied mathematics. Academic Press, New York, San Francisco, and London, 1978, xi + 621 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 876-877
- Print publication:
- December 1981
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 881-913
- Print publication:
- December 1981
-
- Article
- Export citation
JSL volume 46 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1981
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, p. 919
- Print publication:
- December 1981
-
- Article
- Export citation