american mathematical societysestakov, v. i. a dual arithmetic interpretation of the 3-valued...

6

Upload: others

Post on 20-Jan-2021

1 views

Category:

Documents


0 download

TRANSCRIPT

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
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

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

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

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

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