Gaisi Takeuti. A formalization of the theory of ordinal numbers. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo1963, pp. 65–97. - Gaisi Takeuti. A formalization of the theory of ordinal numbers. The journal of symbolic logic, vol. 30 (1965), pp. 295–317.

Carol Karp

doi:10.2307/2272603

Gaisi Takeuti. A formalization of the theory of ordinal numbers. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo1963, pp. 65–97. - Gaisi Takeuti. A formalization of the theory of ordinal numbers. The journal of symbolic logic, vol. 30 (1965), pp. 295–317.

Journal of Symbolic Logic ◽

10.2307/2272603 ◽

1972 ◽

Vol 37 (1) ◽

pp. 192-193

Author(s):

Carol Karp

Keyword(s):

Mathematical Society ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

Ordinal Numbers

Download Full-text

Wayne Richter. Extensions of the constructive ordinals. The journal of symbolic logic, vol. 30 (1965), pp. 193–211. - Wayne Richter. Constructive transfinite number classes. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 261–265. - Wayne Richter. Constructively accessible ordinal numbers. The journal of symbolic logic, vol. 33 (1968), pp. 43–55.

Journal of Symbolic Logic ◽

10.2307/2270308 ◽

1971 ◽

Vol 36 (2) ◽

pp. 341-342

Author(s):

Gustav B. Hensel

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Ordinal Numbers ◽

Transfinite Number

Download Full-text

A. Maitra and C. Ryll-Nardzewski. On the existence of two analytic non-Borel sets which are not isomorphic. Bulletin de L'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques, vol. 18 (1970), pp. 177–178. - R. Daniel Mauldin. On nonisomorphic analytic sets. Proceedings of the American Mathematical Society, vol. 58 (1976), pp. 241–244. - Karel Hrbacek. On the complexity of analytic sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 419–425. - Karel Hrbacek and Stephen G. Simpson. On Kleene degrees of analytic sets. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 347–352. - Leo Harrington. Analytic determinacy and 0#. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 685–693.

Journal of Symbolic Logic ◽

10.2307/2274204 ◽

1984 ◽

Vol 49 (2) ◽

pp. 665-668

Author(s):

Jacques Stern

Keyword(s):

New York ◽

American Mathematical Society ◽

Publishing Company ◽

Mathematical Society ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

Borel Sets ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Analytic Sets

Download Full-text

Gerald E. Sacks. Metarecursively enumerable sets and admissible ordinals. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 59–64. - Gerald E. Sacks. Post's problem, admissible ordinals, and regularity. Transactions of the American Mathematical Society, vol. 124 (1966), pp. 1–23. - Gerald E. Sacks. Metarecursion theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 243–263. - Graham C. DriscollJr., Metarecursively enumerable sets and their metadegrees. The Journal of symbolic logic, vol. 33 (1968), pp. 389–11.

Journal of Symbolic Logic ◽

10.2307/2270995 ◽

1969 ◽

Vol 34 (1) ◽

pp. 115-116

Author(s):

Richard A. Platek

Keyword(s):

New York ◽

Summer School ◽

American Mathematical Society ◽

Recursion Theory ◽

Mathematical Society ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Admissible Ordinals

Download Full-text

S. C. Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 1–26. - S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 27–66. - S. C. Kleene. Bibliography. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 67–68. - William Craig. On axiomatizability within a system. The journal of symbolic logic, vol. 18 (1953), pp. 30–32.

Journal of Symbolic Logic ◽

10.2307/2267666 ◽

1954 ◽

Vol 19 (1) ◽

pp. 62-63

Author(s):

Robert McNaughton

Keyword(s):

American Mathematical Society ◽

Predicate Calculus ◽

Mathematical Society ◽

Symbolic Logic ◽

Finite Axiomatizability

Download Full-text

Gaisi Takeuti. Construction of the set theory from the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 6 (1954), pp. 196–220. Errata, ibid., vol. 7 (1955), p. 408.

Journal of Symbolic Logic ◽

10.2307/2964600 ◽

1959 ◽

Vol 24 (1) ◽

pp. 66-67

Author(s):

Kurt Schütte

Keyword(s):

Set Theory ◽

Mathematical Society ◽

Ordinal Numbers

Download Full-text

M. O. Rabin. Computable algebraic systems. 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. 134–138. - Michael O. Rabin. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 (1960), pp. 341–360.

Journal of Symbolic Logic ◽

10.2307/2270825 ◽

1967 ◽

Vol 32 (3) ◽

pp. 412-413

Author(s):

B. H. Mayoh

Keyword(s):

General Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Summer Institute ◽

Algebraic Systems ◽

Cornell University ◽

Research Division

Download Full-text

Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 206–220. - R. Routley and H. Montgomery. The inadequacy of Kripke's semantical analysis of D2 and D3. The journal of symbolic logic, vol. 33 (1968), p. 568.

Journal of Symbolic Logic ◽

10.1017/s0022481200092434 ◽

1970 ◽

Vol 35 (1) ◽

pp. 135-135

Author(s):

David Makinson

Keyword(s):

Modal Logic ◽

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

Semantical Analysis ◽

North Holland Publishing ◽

Propositional Calculi

Download Full-text

Thomas Jech and Karel Prikry. On ideals of sets and the power set operation. Bulletin of the American Mathematical Society, vol. 82 (1976), pp. 593–595. - F. Galvin, T. Jech, and M. Magidor. An ideal game. The journal of symbolic logic, vol. 43 (1978), pp. 284–292. - T. Jech, M. Magidor, W. Mitchell, and K. Prikry. Precipitous ideals. The journal of symbolic logic, vol. 45 (1980), pp. 1–8. - Yuzuru Kakuda. On a condition for Cohen extensions which preserve precipitous ideals. The journal of symbolic logic, vol. 46(1981), pp. 296–300. - Thomas Jech and Karel Prikry. Ideals over uncountable sets: application of almost disjoint functions and generic ultrapowers. Memoirs of the American Mathematical Society, no. 214. American Mathematical Society, Providence 1979, iii + 71 pp. - Menachem Magidor. Precipitous ideals and sets. Israel journal of mathematics, vol. 35 (1980), pp. 109–134.

Journal of Symbolic Logic ◽

10.2307/2273805 ◽

1985 ◽

Vol 50 (1) ◽

pp. 239-240

Author(s):

James E. Baumgartner

Keyword(s):

Israel Journal ◽

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Power Set ◽

Almost Disjoint ◽

Generic Ultrapowers ◽

Precipitous Ideals ◽

Set Operation

Download Full-text

G. L. Cherlin. The model-companion of a class of structures. The journal of symbolic logic, vol. 37 (1972), pp. 546–556. - L. Lipshitz and D. Saracino. The model companion of the theory of commutative rings without nilpotent elements. Proceedings of the American Mathematical Society, vol. 38 (1973), pp. 381–387. - Angus Macintyre. Model-completeness for sheaves of structures. Fundamenta mathematicae, vol. 81 no. 1 (1973), pp. 73–89.

Journal of Symbolic Logic ◽

10.2307/2273571 ◽

1983 ◽

Vol 48 (2) ◽

pp. 496-496

Author(s):

Stephen D. Comer

Keyword(s):

American Mathematical Society ◽

Commutative Rings ◽

Mathematical Society ◽

Symbolic Logic ◽

Model Completeness ◽

Model Companion ◽

Nilpotent Elements

Download Full-text

Ronald Harrop. A relativization procedure for propositional calculi, with an application to a generalized form of Post's theorem. Proceedings of the London Mathematical Society, vol. 14 (1964), pp. 595–617. - Ronald Harrop. Some generalizations and applications of a relativization procedure for propositional calculi. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 12–41.

Journal of Symbolic Logic ◽

10.2307/2271284 ◽

1967 ◽

Vol 32 (1) ◽

pp. 125-126

Author(s):

W. E. Singletary

Keyword(s):

London Mathematical Society ◽

Publishing Company ◽

Mathematical Society ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Recursive Functions ◽

Formal Systems ◽

North Holland Publishing ◽

Propositional Calculi

Download Full-text