![Page 1: AMERICAN MATHEMATICAL SOCIETYSestakov, V. I. A dual arithmetic interpretation of the 3-valued proposi-tional calculus utilized in the simulation of this calculus by relay-contact networks](https://reader033.vdocuments.site/reader033/viewer/2022060913/60a70e1151a54215ec0e9e67/html5/thumbnails/1.jpg)
![Page 2: AMERICAN MATHEMATICAL SOCIETYSestakov, V. I. A dual arithmetic interpretation of the 3-valued proposi-tional calculus utilized in the simulation of this calculus by relay-contact networks](https://reader033.vdocuments.site/reader033/viewer/2022060913/60a70e1151a54215ec0e9e67/html5/thumbnails/2.jpg)
AMERICAN MATHEMATICA L SOCIET Y TRANSLATIONS
Series 2
Volume 4 8
FOURTEEN PAPER S O N LOGIC , ALGEBRA , COMPLEX VARIABLE S AN D TOPOLOG Y
L. M. Abramov V. S. Cernjavski i E. S. Golod T. D. Maistrova A. I. Marcev
by S. P. Novikov B. I. Penkov V.A.Rohlin I. R. Safarevic V. V. Sazonov
B. H. Sendov V. I. Sestakov A. S. Svarc V. S. iVaradarajan V. S. Vladimirov
Published by the
AMERICAN MATHEMATICA L SOCIET Y Providence, Rhode Island
1965
http://dx.doi.org/10.1090/trans2/048
![Page 3: AMERICAN MATHEMATICAL SOCIETYSestakov, V. I. A dual arithmetic interpretation of the 3-valued proposi-tional calculus utilized in the simulation of this calculus by relay-contact networks](https://reader033.vdocuments.site/reader033/viewer/2022060913/60a70e1151a54215ec0e9e67/html5/thumbnails/3.jpg)
Copyright © 196 5 by the American Mathematical Society
Published under Grant NSF-GN23 2 from th e
NATIONAL SCIENC E FOUNDATIO N
Library of Congress Catalog Number A51-5559
Printed in the United States of America
All Rights Reserved No portion of this book may be reproduced
without the written permission of the publisher
![Page 4: AMERICAN MATHEMATICAL SOCIETYSestakov, V. I. A dual arithmetic interpretation of the 3-valued proposi-tional calculus utilized in the simulation of this calculus by relay-contact networks](https://reader033.vdocuments.site/reader033/viewer/2022060913/60a70e1151a54215ec0e9e67/html5/thumbnails/4.jpg)
TABLE O F CONTENT S Page
Cernjavskii, V . S. O n a c las s o f norma l Marko v algorithms . [HepHHBCKHM ,
B. C . 0 6 OAHO M Kjiacc e HopMajibHbi x anropm|)MO B MapKOBa. ]
Sbornik Logiceski e Issledovanija , Moscow , 1959 , 263—299 1
Mal'cev, A . I . O n the undecidability o f elementary theorie s o f certai n
fields; Remar k o n the paper "O n the undecidability o f elementar y
theories o f certai n f ie lds" . [MaJIbtjeB , A . VI. 0 Hepa3peiilHM0CT M
sjieMeHTapHwx Teopu M HeKOTopbi x nojiew ; 3aMeqaHw e K CTaTbe " 0
Hepa3peiiMM0CTW ajieMeHTapHbi x Teopw w HeKOTopbi x nojieft". ] Sibirsk .
Mat. 1 . 1 (1960), 71 -77 ; ibid . 2 (1961), 63 9 3 6 v
Sestakov, V . I . A dual arithmeti c interpretatio n o f the 3-value d proposi -
tional calculu s utilize d i n the simulation o f thi s calculu s b y relay-
contact networks . [UlecTaKOB , B . M . 0 ABOMHO M apw^MeTuqecKoi i
MHTepnpeTaijMw Tpex3HaqRor o ncqwcjieHM H BbiCKa3biBaHwft , wcnojib -
3yeMow np n MOflejiwpoBanid H 3Tor o wcmicjieHH H nocpeACTBO M pejieMHo-
KOMMyTaTOpHblX cxeM . ] Th e Applicatio n o f Logi c t o Scienc e an d
Technology, pp . 341-376 4 5
Maistrova, T . D . Applicatio n o f many-value d logic s i n the theor y o f rela y
networks. [MaiiCTpoBa , T . J\. FlpMMeHeHK e MHoro3Hatmo w jiortiK W
B TeopH H pejieMHW X cxeM. ] Th e Application o f Logi c t o Science an d
Technology, pp . 394-414 ^ 7 3
Golod, E . S. and Safarevic, I . R. O n class fiel d towers . [ToJlOA , E . C .
M Ula(|)apeBnq, M . P . 0 Sauw e nojie w KJiaccoB. ] Izv . Akad . Nau k
SSSR Ser . Mat . 2 8 (1964), 261-27 2 9 1
Golod, E . S. O n nil-algebras an d finitely approximabl e p-groups . [ToJlOA ^
E, C . 0 HHJib-ajire5pa x w (|MHHTHo-annpoKcwMnpyeMbix p-rpynnax. ]
Izv. Akad . Nau k SSS R Ser . Mat. 28 (1964), 273-27 6 10 3
Vladimirov, V . S. O n the constructio n o f envelope s o f holomorph y fo r
regions o f a specia l typ e an d their applications . [BjiaAHMMpOB , B . C .
0 nocTpoeHE M oSojioie K roJioMop(|)HOCTt i A-n a oSjiacTe w cneijMajibHor o
BWAa f f M X npHMeHeHMH.] Trud y Mat . Inst . Steklov . 6 0 (1961), 101-14 4 10 7
in
151
![Page 5: AMERICAN MATHEMATICAL SOCIETYSestakov, V. I. A dual arithmetic interpretation of the 3-valued proposi-tional calculus utilized in the simulation of this calculus by relay-contact networks](https://reader033.vdocuments.site/reader033/viewer/2022060913/60a70e1151a54215ec0e9e67/html5/thumbnails/5.jpg)
Page
Svarc, A . S . O n the genu s o f a fibe r space . [Uteapij , A . C . 0 poff e
paccjioeHHoro npodpaHCTBa. ] Dokl . Akad . Nauk SSSR 12 6 (1959) ,
719-722 15 6
Varadarajan, V . S. Measure s on topological spaces . [BapaflapailH , B . C . Mepw H a TonoJiortwecKH X npocTpaHCTBax. ] Mat . Sb. (N.S. ) 55(97 ) (1961), 35-10 0 16 1
Sazonov, V . V. O n perfect measures . [Ca30HOB , B . B . 0 CoBepiueH -Hbix Mepax. ] Izv . Akad . Nauk SSSR Ser . Mat . 26 (1962) , 391-41 4 22 9
Abramov, L . M . and Rohlin, V . A . Th e entrop y o f a ske w produc t of measure-preserving transformations . [ASpaMOB , JI. M. M PoxjlWH, B. A . 3HTponwH Kocor o npooBeAeHw a npeo6pa30BaHnf t c MHBapwaHTHo w
Mepoft.] Vestni k Leningrad . Univ . 1 7 (1962) , no . 7 , 5-1 3 25 5
Sendov, B . H . and Penkov, B . I . O n the e-entrop y an d £-capacit y o f th e set o f continuou s functions . [CeHflOB , B . X . w FleHKOB, B . M . e-3HTponwfl w £-eMK0CTb MHO)KecTB a HenpepbiBHbi x 4)yHKi w. ] Vest -nik Moskov. Univ . Ser . I Mat. Meh. 1962 , no . 3 , 15-1 8 26 6
Novikov, S . P . Homotopicall y equivalen t smoot h manifolds . I [HoBWKOB, C. n . ToMOTommecK H 3KBHBajieHTHw e rjia/jKw e MHoroo6pa3wa . I ] Izv. Akad . Nauk SSS R Ser . Mat. 28(1964), 365-47 4 27 1
iv
![Page 6: AMERICAN MATHEMATICAL SOCIETYSestakov, V. I. A dual arithmetic interpretation of the 3-valued proposi-tional calculus utilized in the simulation of this calculus by relay-contact networks](https://reader033.vdocuments.site/reader033/viewer/2022060913/60a70e1151a54215ec0e9e67/html5/thumbnails/6.jpg)