113 results
H. B. Enderton and Harvey Friedman. Approximating the standard model of analysis. Fundamenta mathematicae, vol. 72 no. 2 (1971), pp. 175–188.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 600-601
- Print publication:
- September 1974
-
- Article
- Export citation
A. D. Tajmanov. Haraktéristika aksiomatiziruémyh klassov modélej. II. (Characterization of axiomatizable classes of models. II.) Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 25 (1961), pp. 755–764.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 165
- Print publication:
- March 1973
-
- Article
- Export citation
A. D. Tajmanov. Haraktéristika aksiomatiziruémyh klassov modélej. I. (Characterization of axiomatizable classes of models. I.) Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 25 (1961), pp. 601–620.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-165
- Print publication:
- March 1973
-
- Article
- Export citation
A. D. Tajmanov. Haraktéristika konéčno-aksiomatiziruémyh klassov modéléj. Sibirskij matématičéskij žurnal, vol. 2 (1961), pp. 759–766. - A. D. Tajmanov. Haraktéristika konéčno aksiomatiziruémyh klassov modéléj. Doklady Akadémii Nauk SSSS, vol. 138 (1961), pp. 67–69. - A. D. Taimanov. Characterization of finitely axiomatizable classes of models. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 2 no. 3 (1961), pp. 552–554.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
- Print publication:
- March 1973
-
- Article
- Export citation
A transfinite sequence of ω-models
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-102
- Print publication:
- March 1972
-
- Article
- Export citation
S. R. Kogalovskij. K sémantiké téorii tipov (On the semantics of the theory of types). Izvéstiá vysših učébnyh zavédénij, Matématika, no. 1 (1966), pp. 89–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-194
- Print publication:
- March 1972
-
- Article
- Export citation
Petr Vopěnka. Odin metod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá (A method of constructing a non-standard model for the axiomatic set theory of Bernays-Gödel). Doklady Akadémii Nauk SSSR, vol. 143 (1962), pp. 11–12. - Petr Vopěnka. Postroénié modéléj téorii množéstv métodom spéktra (Konstruktion von Modellen der Mengenlehre mit der Methode der Spektren). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 149–160. - Petr Vopěnka. Eléméntarnyé pondtiá v téorii množéstv (Elementare Begriffe in der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 161–167. - Petr Vopěnka. Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv (Konstruktion von nichtregulären Nichtstandardmodellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 229–233. - Petr Vopěnka. Podmodéli modéléj téorii množéstv (Teilmodelle von Modellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 163–172.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-472
- Print publication:
- September 1970
-
- Article
- Export citation
A. I. Mal′cév. O malyh modélah (On small models). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 258–261.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-514
- Print publication:
- 17 November 1969
-
- Article
- Export citation
A. I. Mal′cév. Modél′nyé sootvéctviá (Model correspondences). Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 (1959), pp. 313–336.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Jan Łukasiewicz. Aristotélévskaé sillogistika s točki zréniá sovréménnoj formal′noj logiki (Aristotle's syllogistic from the standpoint of modern formal logic). Izdatél′stvo Inostrannoj Litératury, Moscow1959, 311 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 285
- Print publication:
- June 1966
-
- Article
- Export citation
Witold A. Pogorzelski and Jerzy Slupecki. O dowodzie matematycznym (On mathematical proof). Państwowe Zaklady Wydawnictw Szkolnych, Warsaw1962, 128 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
- Print publication:
- June 1966
-
- Article
- Export citation
Jan Łukasiewicz. Elementy logiki matematycznej (Elements of mathematical logic). Second edition of 1866. Państwowe Wydawnictwo Naukowe, Warsaw1958, 99 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
- Print publication:
- June 1966
-
- Article
- Export citation
P. S. Novikov. Eléménty matématičéskoj logiki (Elements of mathematical logic). Gosudarstvénnoé Izdatél'stvo Fiziko-matématičéskoj Litératury, Moscow1959, 400 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 356-357
- Print publication:
- September 1965
-
- Article
- Export citation
V. F. Kostyrko. Ob ošibké v stat'é I. I. Žégalkina, “Probléma razréšimosti na konéčnyh klassah” (On a mistake in the paper of Žégalkin “On the decision problem in finite classes”). Algébra i logika, Séminar (Novosibirsk), vol. 1 no. 5 (1962), pp. 31–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 254
- Print publication:
- June 1965
-
- Article
- Export citation
N. A. Šanin. O linéjnyh konstruktivnyh funkcional̀ah v konstruktivnom gil′bértovom prostranstvé (Über konstruktive lineare Funktionale in einem konstruktiven Hilbertschen Raum). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 1–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-108
- Print publication:
- June 1964
-
- Article
- Export citation
Henryk Greniewski. 2n+1 wartości logicznych (2n+1 logical values). Studia filozoficzne, no. 2 (1957), pp. 82–116, and no. 3 (1957), pp. 3–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-110
- Print publication:
- June 1964
-
- Article
- Export citation
Ladislav Rieger. Ob algébrah Suslina (S-algébrah) i ih prédstavlénii (On Suslinalgebras and their representations). Čéhoslovackij matétnatičéskij žurnal (Czechoslovak mathematical journal), vol. 5 (80) (1955), pp. 99–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
- Print publication:
- June 1964
-
- Article
- Export citation
B. A. Trahténbrot. Nékotoryé postroéniá v logiké odnoméstnyh. prédikatov (Certain constructions in the logic of one-place predicates). Doklady Akadémii Nauk SSSR vol. 138 (1961), pp. 320–321.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
- Print publication:
- June 1964
-
- Article
- Export citation
R. L. Goodstein. Models of propositional calculi in recursive arithmetic. Mathematica Scandinavica, vol. 6 (1958), pp. 293–296.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 291
- Print publication:
- December 1963
-
- Article
- Export citation
Vladeta Vučkovič. Rekurzivni modeli nekih neklasičnih izkaznih rečuna (Rekursive Modelle einiger nichtklassischen Aussagenkalküle). Filozofija (Belgrade), vol. 4 no. 4 (1960), pp. 69–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-292
- Print publication:
- December 1963
-
- Article
- Export citation