S. G. Gindikin. Algébra logiki v zadačah. Russian original of the preceding. Izdatél'stvo “Nauka,” Moscow1972, 288 pp. - Moshe Jarden. Elementary statements over large algebraic fields. Transactions of the American Mathematical Society, vol. 164 , pp. 67–91 [Book Review]

Journal of Symbolic Logic 52 (2):567 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200034587

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

S. G. Gindikin. Algebraic logic. English translation by Robert H. Silverman of Algébra logiki v zadačah. Problem books in mathematics. Springer-Verlag, New York, Berlin, etc., 1985, xviii + 356 pp. [REVIEW]Raymond J. Nelson - 1987 - Journal of Symbolic Logic 52 (2):565-567.
Review: Moshe Jarden, Ursel Kiehne, The Elementary Theory of Algebraic Fields of Finite Corank. [REVIEW]A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):567-567.
Moshe Jarden and Ursel Kiehne. The elementary theory of algebraic fields of finite corank. Inventiones mathematicae, vol. 30 no. 3 , pp. 275–294. [REVIEW]A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):567.
The Elementary Theory of Algebraic Fields of Finite Corank.Moshe Jarden & Ursel Kiehne - 1987 - Journal of Symbolic Logic 52 (2):567-567.
Moshe Jarden. The elementary theory of ω-free Ax fields. Inventiones mathematicae, vol. 38 no. 2 , pp. 187–206.A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):567-568.
Review: Moshe Jarden, The Elementary Theory of $omega$free Ax Fields. [REVIEW]A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):567-568.
A. I. Mal'cév. Algébraičéskié sistémy. Russian original of the foregoing. Izdatél'stvo “Nauka,” Moscow1970, 392 pp. - Thomas J. Jech. The axiom of choice. Studies in logic and the foundations of mathematics, vol. 75. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, XI + 202 pp. [REVIEW]Gershon Sageev - 1976 - Journal of Symbolic Logic 41 (4):784-785.
Šéstakov V. I.. O dvojnoj arifmétičéskoj intérprétacii tréhznačnogo isčisléniá vyskazyvanij, ispol'zuémoj pri modélirovanii elogo isčisléniá posrédstvom réléjno-kommutatornyh shém. Priménénié logiki v nauké i téhnike, Izdatél'stvo Akadémii Nauk SSSR, Moscow 1960, pp. 341–376.Šestakov V. I.. A dual arithmetic interpretation of the 3-valued propositional calculus utilized in the simulation of this calculus by relay-contact networks. English translation of the preceding by Ebner Leo. American Mathematical Society translations, ser. 2 vol. 48 , pp. 45–72. [REVIEW]Alan Rose - 1972 - Journal of Symbolic Logic 37 (1):187-187.
Review: Dan Haran, Moshe Jarden, Bounded Statements in the Theory of Algebraically Closed Fields with Distinguished Automorphisms. [REVIEW]Alexander Prestel - 1987 - Journal of Symbolic Logic 52 (4):1056-1056.
Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, and others . Sintéz eléktronnyh vyčislitél'nyh i upravláúščih shém. Russian translation of XVIII 347 by É. I. Mašonov, L. É. Sadovskij, and M. A. Hatagurov, edited by V. I. Šéstakov. Izdatél'stvo Inostrannoj Litératury, Moscow1954, 359 pp. - G. N. Povarov. Review of the preceding. Russian. Avtomatika i téléméhanika, vol. 15 , pp. 567–569. - M. A. Gavrilov. Téoriá réléjno-kontaktnyh shém. Analiz i sintéz struktury réléjno-kontaktnyh shém. . Akadémiá Nauk SSSR, Institut Avtomatiki i Téléméhaniki. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1950, 302 pp. [REVIEW]Zdzisław Pawlak - 1956 - Journal of Symbolic Logic 21 (3):331-331.
Decidable algebraic fields.Moshe Jarden & Alexandra Shlapentokh - 2017 - Journal of Symbolic Logic 82 (2):474-488.
The Elementary Theory of ωfree Ax Fields.Moshe Jarden - 1987 - Journal of Symbolic Logic 52 (2):567-568.
Undecidability of some elementary theories over pac fields.Gregory Cherlin & Moshe Jarden - 1986 - Annals of Pure and Applied Logic 30 (2):137-163.
Bounded Statements in the Theory of Algebraically Closed Fields with Distinguished Automorphisms.Dan Haran & Moshe Jarden - 1987 - Journal of Symbolic Logic 52 (4):1056-1056.
G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):527-528.

Analytics

Added to PP
2013-11-03

Downloads
31 (#516,123)

6 months
8 (#361,341)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references