Frederic B. Fitch. A theory of logical essences. The monist, vol. 51 (1967), pp. 104–109. - Frederic B. Fitch. A complete and consistent modal set theory. The journal of symbolic logic, vol. 32 (1967), pp. 93–103.

Bede Rundle

doi:10.2307/2271012

Frederic B. Fitch. A theory of logical essences. The monist, vol. 51 (1967), pp. 104–109. - Frederic B. Fitch. A complete and consistent modal set theory. The journal of symbolic logic, vol. 32 (1967), pp. 93–103.

Journal of Symbolic Logic ◽

10.2307/2271012 ◽

1969 ◽

Vol 34 (1) ◽

pp. 125-125 ◽

Cited By ~ 1

Author(s):

Bede Rundle

Keyword(s):

Set Theory ◽

Symbolic Logic

Download Full-text

Elliott Mendelson. Some proofs of independence in axiomatic set theory. The journal of symbolic logic, vol. 21 (1956), pp. 291–303. - Elliott Mendelson. The independence of a weak axiom of choice. The journal of symbolic logic, pp. 350–366.

Journal of Symbolic Logic ◽

10.2307/2964475 ◽

1958 ◽

Vol 23 (1) ◽

pp. 42-44

Author(s):

Dana Scott

Keyword(s):

Set Theory ◽

Axiom Of Choice ◽

Symbolic Logic ◽

Axiomatic Set Theory ◽

Weak Axiom

Download Full-text

SET THEORY TODAY: A CONFERENCE IN HONOR OF GEORG CANTOR CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria September 10–14, 2018

Bulletin of Symbolic Logic ◽

10.1017/bsl.2018.97 ◽

2019 ◽

Vol 25 (1) ◽

pp. 132-132

Keyword(s):

Set Theory ◽

Georg Cantor ◽

Symbolic Logic

Download Full-text

Michael O. Rabin. On recursively enumerable and arithmetic models of set theory. The Journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 408–416.

Journal of Symbolic Logic ◽

10.2307/2271604 ◽

1963 ◽

Vol 28 (2) ◽

pp. 167-168

Author(s):

J. C. Shepherdson

Keyword(s):

Set Theory ◽

Symbolic Logic ◽

Recursively Enumerable ◽

Models Of Set Theory

Download Full-text

Paul Bernays. A system of axiomatic set theory—Part I. The journal of symbolic logic, vol. 2 (1937), pp. 65–77. See Errata, The journal of symbolic logic, vol. 2 (1937), p. iv.

Journal of Symbolic Logic ◽

10.2307/2267526 ◽

1938 ◽

Vol 3 (1) ◽

pp. 49-49

Author(s):

W. V. Quine

Keyword(s):

Set Theory ◽

Symbolic Logic ◽

Axiomatic Set Theory

Download Full-text

P. C. Gilmore. An alternative to set theory. The American mathematical monthly, vol. 67 (1960), pp. 621–632. - P. C. Gilmore. The monadic theory of types in the lower predicate calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 309–312.

Journal of Symbolic Logic ◽

10.2307/2272453 ◽

1972 ◽

Vol 37 (4) ◽

pp. 766-767

Author(s):

Bede Rundle

Keyword(s):

Set Theory ◽

Predicate Calculus ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division ◽

Monadic Theory

Download Full-text

L. A. S. Kirby and J. B. Paris. Initial segments of models of Peano's axioms. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 211–226. - J. B. Paris. Some independence results for Peano arithmetic. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 725–731.

Journal of Symbolic Logic ◽

10.2307/2273564 ◽

1983 ◽

Vol 48 (2) ◽

pp. 482-483 ◽

Cited By ~ 1

Author(s):

Stephen G. Simpson

Keyword(s):

New York ◽

Set Theory ◽

Peano Arithmetic ◽

Symbolic Logic ◽

Hierarchy Theory ◽

Lecture Notes ◽

Independence Results

Download Full-text

Clifford Spector. Recursive ordinals and predicative set theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 377–382.

Journal of Symbolic Logic ◽

10.2307/2270676 ◽

1966 ◽

Vol 31 (1) ◽

pp. 138-138

Author(s):

D. A. Clarke

Keyword(s):

Set Theory ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division

Download Full-text

Paul Bernays. A system of axiomatic set theory — Part VII. The journal of symbolic logic, vol. 19 (1954), pp. 81–96.

Journal of Symbolic Logic ◽

10.2307/2963930 ◽

1957 ◽

Vol 22 (4) ◽

pp. 367-368

Author(s):

J. R. Shoenfield

Keyword(s):

Set Theory ◽

Symbolic Logic ◽

Axiomatic Set Theory

Download Full-text

John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 (1975), pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 (1977), pp. 1–28.

Journal of Symbolic Logic ◽

10.2307/2273237 ◽

1981 ◽

Vol 46 (4) ◽

pp. 868-870

Author(s):

R. J. Grayson

Keyword(s):

Set Theory ◽

Symbolic Logic ◽

Constructive Analysis ◽

Constructive Set Theory ◽

Theoretic Foundations

Download Full-text

John Myhill. Towards a consistent set-theory. The journal of symbolic logic, vol. 16 (1951), pp. 130–136. See Errata, ibid., p. iv.

Journal of Symbolic Logic ◽

10.1017/s0022481200100660 ◽

1951 ◽

Vol 16 (4) ◽

pp. 273-273

Author(s):

W. V. Quine

Keyword(s):

Set Theory ◽

Symbolic Logic

Download Full-text