S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62(2). Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 289–308.

Mihály Makkai

doi:10.2307/2270294

S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62(2). Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 289–308.

Journal of Symbolic Logic ◽

10.2307/2270294 ◽

1971 ◽

Vol 36 (2) ◽

pp. 334-335

Author(s):

Mihály Makkai

Keyword(s):

American Mathematical Society ◽

Predicate Calculus ◽

Mathematical Society ◽

Symbolic Logic ◽

Finite Axiomatizability

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

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

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

James Cummings. A model in which GCH holds at successors but fails at limits. Transactions of the American Mathematical Society, vol. 329 (1992), pp. 1–39. - James Cummings. Strong ultrapowers and long core models. The journal of symbolic logic, vol. 58 (1993), pp. 240–248. - James Cummings. Coherent sequences versus Radin sequences. Annals of pure and applied logic, vol. 70 (1994), pp. 223–241. - James Cummings, Matthew Foreman, and Menachem Magidor. Squares, scales and stationary reflection. Journal of mathematical logic, vol. 1 (2001), pp. 35–98.

Bulletin of Symbolic Logic ◽

10.2178/bsl/1182353938 ◽

2002 ◽

Vol 8 (4) ◽

pp. 550-552

Author(s):

Arthur W. Apter

Keyword(s):

Mathematical Logic ◽

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Stationary Reflection ◽

Applied Logic

Download Full-text

Donder Hans-Dieter. Regularity of ultrafilters and the core model. Israel journal of mathematics, vol. 63 (1988), pp. 289–322. - Donder Hans-Dieter, Koepke Peter, and Levinski Jean-Pierre. Some stationary subsets of P(λ). Proceedings of the American Mathematical Society, vol. 102 (1988), pp. 1000–1004. - Walker D. J.. On the transversal hypothesis and the weak Kurepa hypothesis. The journal of symbolic logic, vol. 53 (1988), pp. 854–877.

Journal of Symbolic Logic ◽

10.2307/2274497 ◽

1990 ◽

Vol 55 (3) ◽

pp. 1313-1315

Author(s):

Stewart Baldwin

Keyword(s):

Israel Journal ◽

American Mathematical Society ◽

Mathematical Society ◽

Core Model ◽

Symbolic Logic ◽

The Core ◽

Stationary Subsets

Download Full-text

A. A. Zykov. Probléma spéktra v rasširénnom isčislénii prédikatov. lzvéstiá Akadémii Nauk SSSR, sériá matématičéskaá, Bd. 17 (1953), S. 63–76. - A. A. Zykov. The spectrum problem in the extended predicate calculus. Englische Übersetzung des Vorhergehenden, von G. L. Kline. American Mathematical Society translations, 2. Reihe Bd. 3 (1956), S. 1–14.

Journal of Symbolic Logic ◽

10.2307/2963925 ◽

1957 ◽

Vol 22 (4) ◽

pp. 360-360

Author(s):

Wilhelm Ackermann

Keyword(s):

Nauk Sssr ◽

American Mathematical Society ◽

Predicate Calculus ◽

Mathematical Society ◽

Akademii Nauk Sssr

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

Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 238–242. - Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. 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. 139–140.

Journal of Symbolic Logic ◽

10.2307/2269725 ◽

1966 ◽

Vol 31 (4) ◽

pp. 659-660

Author(s):

Robert McNaughton

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division

Download Full-text

Fred Appenzeller. An independence result in quadratic form theory: infinitary combinatorics applied to ε-Hermitian spaces. The journal of symbolic logic, vol. 54 (1989), pp. 689–699. - Otmar Spinas. Linear topologies on sesquilinear spaces of uncountable dimension. Fundamenta mathematicae, vol. 139 (1991), pp. 119–132. - James E. Baumgartner, Matthew Foreman, and Otmar Spinas. The spectrum of the Γ-invariant of a bilinear space. Journal of algebra, vol. 189 (1997), pp. 406–418. - James E. Baumgartner and Otmar Spinas. Independence and consistency proofs in quadratic form theory. The journal of symbolic logic, vol. 56 (1991), pp. 1195–1211. - Otmar Spinas. Iterated forcing in quadratic form theory. Israel journal of mathematics, vol. 79 (1992), pp. 297–315. - Otmar Spinas. Cardinal invariants and quadratic forms. Set theory of the reals, edited by Haim Judah, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, distributed by the American Mathematical Society, Providence, pp. 563–581. - Saharon Shelah and Otmar Spinas. Gross spaces. Transactions of the American Mathematical Society, vol. 348 (1996), pp. 4257–4277.

Bulletin of Symbolic Logic ◽

10.2307/2687785 ◽

2001 ◽

Vol 7 (2) ◽

pp. 285-286

Author(s):

Paul C. Eklof

Keyword(s):

Quadratic Form ◽

Quadratic Forms ◽

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Iterated Forcing ◽

Independence Result ◽

Form Theory ◽

Mathematical Sciences ◽

Consistency Proofs

Download Full-text