Contents
Reviews
A. I. Mal′cév. Ob eléméntwnyh téoriáh lokal′no svobodnyh univérsal′nyh algébr. Doklady Akadémii Nauk SSSR, vol. 138 (1961), pp. 1009–1012. - A. I. Mal′cev. On the elementary theories of locally free universal algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 2 no. 3 (1961) pp. 768–771. - A. I. Mal′cev. Aksiomatiziruémyé klassy lokal′no svobodnyh algébr nékotoryh tipov (Axiomatizable classes of locally free algebras of several types). Sibirskij matématičéskij žurnal, vol. 3 (1962), pp. 729–743.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-279
-
- Article
- Export citation
M. I. Kargapolov. Ob eléméntarnoj téorii struktur podgrupp (On the elementary theory of lattices of subgroups). Algébra i logika, Séminar, vol. 1 no. 3 (1962), pp. 46–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-280
-
- Article
- Export citation
Roland Fraïssé. Sur l'extension aux relations de quelques propriétés des ordres. Annales scientifiques de l'École Normale Supérieure, ser. 3 vol. 71 no. 4 (1954), pp. 363–388. - René de Possel and Roland Fraïssé. Sur certaines suites d'équivalences dans une classe ordonnée, et sur leur application à la définition des parentés entre relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 239 (1954), pp. 940–942. - Roland Fraïssé. Sur certains opérateurs dans les classes de relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 (1955), pp. 2109–2110. - Roland Fraïssé. La construction des γ-opérateurs et leur application au calcul logique du premier ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 (1955), pp. 2191–2193. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 2 (1955), pp. 15–60. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. II. Application aux relations d'ordre, et construction d'exemples montrant que ces classifications sont distinctes. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 2 (1955), pp. 273–295. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. III. Comparison des parentés introduites dans la premiére partie avec des parentés précédemment étudiées. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 3 (1956), pp. 143–159. - Roland Fraïssé. Application des γ-opérateurs au calcul logique du premier échelon. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 76–92. - Roland Fraïssé. Étude de certains opérateurs dans les classes de relations, définis à partir d'isomorphismes restreints. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 59–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-281
-
- Article
- Export citation
A. Ehrenfeucht. An application of gaṁes to the completeness problem for formalized theories. Fundamenta mathematicae, vol. 49 (1960), pp. 129–141.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
-
- Article
- Export citation
Solomon Feferman. Some recent work of Ehrenfeucht and Fraïssé. 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. 201–209.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 282
-
- Article
- Export citation
Alfred Horn. The separation theorem of intuitionist propositional calculus. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 391–399.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 282
-
- Article
- Export citation
G. Kreisel. Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 317–330.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-283
-
- Article
- Export citation
G. Kreisel. A remark on free choice sequences and the topological completeness proofs. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 369–388.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 283
-
- Article
- Export citation
Shôji Maehara, Toshio Nishimura, und Setsuya Seki. Non-constructive proofs of a metamathematical theorem concerning the consistency of analysis and its extension. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 5 (1960), S. 269–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
-
- Article
- Export citation
Kurt Schütte. Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich 1962, pp. 105–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
-
- Article
- Export citation
Kurt Schütte. Predicative well-orderings. 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. 280–303. - Kurt Schütte. Eine Grenze fúr die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 (1965), pp. 45–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-288
-
- Article
- Export citation
Front matter
JSL volume 32 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
-
- Article
-
- You have access
- Export citation