SCIENTIFIC ABSTRACT MOSTOVSKIY, A. A. - MOSUNOV, V. B.

• Document Type: CREST
• Collection: Scientific Abstracts
• Document Number (FOIA) /ESDN (CREST): CIA-RDP86-00513R001135410014-1
• Release Decision: RIF
• Original Classification: S
• Document Page Count: 100
• Document Creation Date: November 2, 2016
• Document Release Date: July 13, 2001
• Sequence Number: 14
• Publication Date: December 31, 1967
• Content Type: SCIENTIFIC ABSTRACT

MOSTOVSKIY. A.A.; VOROBIYNVA, O.B.; RAYSKAYA, K.A.
Bismuth-silver-cesium photgeathodes. Piz. tver. tale, I no.4:643--647
Fiz6 tver. tela 1 no.4:643~-647 '59. (MIRA 12-6)
(Photoelectric cellB)

S~9692
q/L// 60 181Z61/003/010/017/036
*Li B111/B138
AUTHORSt Golovanova, 0. V., Klimin, A. I., and Mostovsk A. A.
RyA_
TITLEs Photosensitive lead oxide layers
PERIODICALs Fizika tverdogo tela., v. 3, no. 10, 1~61, 3070-3075
TEXT: Electrical, photoelectrical, and optical properties of PbO films
0.5 - 10 111 thick were examined. It was M. S. Kosman and 0. 0. Kolesova
(Ref. 51 Uch. zap. Len. gos. ped. inst. im. Gertsena, ILO, 19551 Ref. 6:
Primeneniye poluprovodnikov v priborostroyenii, 114, 1959) who found that
only the red tetragonal PbO modification is photosensitive. The yellow
PbO modification was used as starting material, and specimens were pro-
duced by two methods: (1) PbO powder was evaporated in vacuum, and
(2) pure Pb was evaporated in oxygen, and subsequently oxidized in air or
oxygen. A tantalum vessel or quartz crucible (900-1,000 0C) were used for
the vacuum condensation0onto a glass plate coated with a transparent
layer of Sn02 (20 - 385 C). The resulting films had to be heated
Card 14

29692
S/1631/61/00~/010/017/036
Photosensitive load oxide layers B111/B136
up to 320 - 4000C in air for several minu es to preserve photosensitivity.
The films had volume resistivity of 5*101~ - 5'1o13 ohm.cm, high photo-
sensitivity, and relatively low inertia. The photolayers were illuminated
through the backing with intensities between 0.04 and 400 lux using an
HC -14 (NS- 14) light filter. Characteristically, resistivity was depen-
dent on the polarity of the voltage applied. This dependence was less
marked in evaporated PbO than in oxidized Pb film. This may be explained
by the fact that the film surfaces were on a positive potential. The
resulting rectifying action was appreciable. The photosensitivity con-
cerned is to be explained by the chemically inhomogeneous distribution of
oxygen in the film. At 400 lux, resistivity in the most sensitive speci-
mens was several hundred times smaller than the value measured without il-
lumination. Films evaporated and oxidized in oxygen atmosphere displayed
the highest sensitivity. At 100 lux, their photo-emf was 0: a counter-example iq given. Post's
:s provable in 31, A&1240, if B of G+` exii-ts, such that anRiOgue rBull. Amer. Math. Soc. 50, 284--316 (1944); these
I L
n4" If and only If (h*, p)tB for somie p of A; Aeg, if Rev. 0, 29 1 of Sualin'a theorem, PV* n Qr - Pg), i's obtained.
Fk- A tP$4,. Nmt, a claw C. of togics S is defined for each 11 ClawallA. of functionsf: Ri-Ri aredefined by the rule
s - 0, 1. 2, by four conditions, of which one requires that f is In IA." (or QV) it in, -f(u,) implies (Ak,
that Lap?, where a is th_~ sets of pairs (q, "), gucfi that (or Q(41'1); and PV is proved to be the wt ol general
n and q exe the Mdel-numbos respectively of a formula ~~recursive futictions if S satisfies nuitable conditions. [On
and its pmf InItCo; and the. other three conditions are ~;p. 101, paragraph 1, mad .0' for 0, twice.]
shi4r. Princlpi!~-Vathentat" .'VAa. 4 "Ordinary" 100ca M. H. A. Newmms (Manchester).
t- '14W of:Rowr
are in C~ -It 13 -2tattil A thiNalihith
scum e Hathar,"MaOII:L Ra-A, ew~ -1946, V61 9, i4o
3

~t.' 777~
Andrzaj. Ont~rliic --4depeAdebt Cho ccs~
h '~l V
e'-- - is con'cern(i wit i-W(cirm o 6d-ll
-pa
T
Wv tpn-~Js(6t; anti, yernain Fo arter Cle x7pilleflan- the
"6M (N)-~ thercis ii n6k nWv -,x-t of elements that
Tllc,qsteiii'~5 dc's ribcd :w 0 r
re, not nU c Ic 1,11tho 'S paper
)Nlatli;.~M,*- 201~252j (19Jq)]_4S_t;-tjch a'
pr6vided -that eonsi i
S itkif is -teilt, 'rile main resali is that
su Ich.a* sy,aberri. the ncral .axiom of ~1:61cti is indelimdent
--of the fol axio, -Wo clio' ' ; if R is a binar
lowing "iwak', f ice ' ~(7~ . ,
'Y
-0 andmif for cvcry~cB tli&e is a ytB
set o
a X_ Yt
0'C -iiic! -it f it- 1, 2 Ccf-.~ IN!
knie hts~ oVB 11 tit, x~Rx,~t, or
're-vje-~.J. A' iiiodet Is:-hii IIde -~in_
6embling one used in t4~ 1) w is
aper. (1), in which all the , lion
of"S. . . . to
-ind Mi corrOpond to provItb1c propasi6 ns m el;
but 16.pxiotn of cli6k l~rrcspiclnds at a: false proposlicion,
M is a cardinal nurtiber definablL
-ES.'symbcilic Logicl,:65-7 (1937);
R`V- 103"li ~v'( - ": h 'if A
tit is t e -axiom....' M 4s'a set with
wMitial number le." thitri and if.ever' deMpr4t of A ii a
nonvotc! ktr:tli~n ther~-is a
foe XtA and if Z(nt, 2) is bbtaikd frdin'4, (m) by re-!
p1- _'d U "rkinvold k w4h.cardinal not
Wnq Ronvol sct Y
wn by simitiir in~thods [the
cxc4ieding 2 tit it 66 be-she
'4fh -~says] that, &(in)---tZ(M, 2) -is
ii or not provable In S
_(supposed cousistcnt).
11. A. Newnian (Manchester).
Sourcei Matheinatical Revievs, V61 10, NO, 10

-j -d*Wtir

Andriek
Some impred!04ja aw in

tp- Fund. Math. ~11, Am-124

4nd-(S)-- the
CWeltet- Weor~, ih n' ac or ihg to mults of Roo
Wap&id of NOVA [see the preceding review and reference
cited t6rel, if (S) is consistent, then (S4) ii consistent. Since

Novak s proo
f is; f6rinalizable in (Y) the cohsistency of (S)

A -cannot- a Pro
b ved in (S). Q' the other -hand asis shown
n

R here, the definitionbf tyuth-f6r.(S)- is formalizable in, (S)
'
-
d '
S

V

n
a
b -found s
of (
) can
n:exp~mn e uch that

MOSTC1"I'SKI, AUD=
..-*Kuratowdd, Kazimletz, i MostawddMdrzei. Teorht
izutagoscil (Theaq of sitz7) N c;iZ~'_je I laterna-

Mathematical Reviews tycztzc, Tom XXVII. Polskie Towarzystwo Materna.
tyczne, Wartmawi-Wroclaw, 1952. ix+311 pp.
VQI- 14 - 110- 10 This excellent monograph presents a modem course on
NOV. 1953 general set-thenry, Tho presentation (allows a mimeo.
gralified coorse of Ivaurtis by Koratowski on sta-theory,
issued in 1924, but ia considerably enlarged and completed.
Thus the systematic use of frigical operators in let-theory#
the study of the operation of the direct product of sets, and
the theory of partial order form new features of this volume.
Chapter VII, dealing with the'arudy of indeptntlence and
non,corstradictiatt a# the axioniN of osit-thaefy. it stew and
contains a survey OUCAlsil's Work tiad ovent fetults cow
nected with it.
The book Is extremely readible, due to a system of de-
velopment a( jot-theory which combines the two ap-
"
"
ll'
C
t
hi
he
h
l
t
h
d f
ll
d b
mse
met
ti
ac
s: t
e
na
vo
i
proac
o
a
owe
,
y
and the (amidlItti'd Ireatatent devefoped an the Aidniatic
methad. The symbolistu a( mathematical Ingle is wwd
thrinighout, but with moderation, dud ample motivation is
given in the text appdaling (d thd Intultion fill the ilifillite
Ficts. VILI int"itint, Mll Continue to be ftecessilty its $m (111ta

4

etc.' in SUA systems as C&O-Peto'-si0j, and Datch and v(~i
Haasy have dettionstrated the possibilities of relatively stal:ife
sulfasiffeates. The tTtodctn methods of demifurization of pig iron
by soda melts have made another important contribi. ion (a the
study of the sulfide-silicate mett equilibria. The: miticralocical
4tudy of sulfides in stags bychx1cographic methods lp.4 aIso.--:h^wFL
the Importance of primary atabandite(kinli) In many stags. The
parallel% to the constitution of meteoric Irons are equally sug-
gestive for a (utute development of basic sulfide-stag investi-
gations. The present book is introduced by an extensive dis-
cussion of the theories and experintental detetmirtations of the
general characteristics of blast-furnact and related stags. The
:mogt representative literature data are compiled In tables.
:Tficocks at the nature of chemically bound %olfur in silicatc slags
tim discussed Its rtlatImi to the resultq tit detalled studies on the
spiffide crystal phaws observed in stags itader polarized transmit-
:ttd and reflected light. From this empirical data, the spe4ifle
!problem of the ust of stilflde~cotltalnhiz %lago In chemical tech-
notogy and building construction is discussed with tpecial refer,
A mce to the dwimptiAlion tifridildes byatin(M hcn,c factors. mois-
ture. and circulating solution.%. which results i~ corrosive products
of suffide oxidation. The results of theoretical metallurgy are
rerat'Ed to the chemis(ry and mineralogy of siiicate systern,; an a
--modern physictichcmical basis. Investigali6i's in the fields of
phase equititirta in fused systettis atid the elements of modern
croblifochemistry are comtMel with therm4lphernical methods
*how Importance in the calculation ol'affirilticif and stability con-
ditions In satride-silicatc slaz;; is emplutsizcd A bibliography of
162 well-sclected paperq is given, tw4de-s hAndreds of wituatite
footnote reference s. W.E.

, I ~ - ~n T~ ~

1-:0ST '-J'
~ , And rz e j .
AlCebra ir I .
yzsza. (,dyd. 1. ) ,iarszawa, Panstwowe Jydmm. Naukowc. (~Ablioteka mat-
ematyczna, t. 3) (Hi~,her aj-[,,ebra Ist ed. i.ndex) Vol. 2, 1~Q,, 17-1 f;.
SO: %lonthly list of East European Accessions List, ("1'7,~U,), fol. 4, ~;C. u
1;,,L,'r, Uncl.

Mathematical lo'
US;3R/Mathemat a gic
Card 1/1 Pub. 118-1/30
FD-1160
Author : Mostovskiy, A,
Title : Present state of investigations into the foundations of mathematics
Periodical : Usp. mat. nauk, 9, No 3(61), 3-38, Jul-Sep 1954
Abstract : In participation with A. Gzhegorchik, Yu. Los', S. Mazur, G. Raseva,
R. Sikofskiy, and S. Yaalkovskiy the author expands his report read at
the eighth session of Polish mathematicians, which was held in Warsaw
from 6 to 12 November 1953. He discusses the axiomatic method and its
limits of applicability in mathematics (e.g. elementary and nonelementary
systems of axioms, general theory of elementary systems, concept of cate-
gory and theory of nonelementary systems, axiomatic method applied to
concrete mathematical theories, arithmetic of natural numbers, axiomatic
theory of sets, axiomatic theory of real numbers); constructive trends
in mathematics (e.g. axiom of constructivity, branch theory of types,
computable analysis, intuitive logic); axiomatic logic; problems of re-
solvability; theory of recursive functions and algebraic direction. One
hundred references, mainly in Journal of Symbolic Logic and other English-
language journals.
Institution
Submitted

or

C S
PffASE I BOOK MUMOrtMON POL/4231
Polskie towarzystwo matematIczne
Prace Matematydsne,l, 2 (Mathematical Transactions, Vol. 1, pt. 2).
Warszawa,, Panstwowe wyd-vo naukawe, 1955. 441 P. 1463 copies printed.
Errata slip inserted.
Editorial C Ittee: Wladyslav Grlicz (Chief Ed.). Stefan Drobot (Deputy
Chief Ed.), Adam Bielecki, Stanislaw Hartman, Jan Nikusifiski, Roman Sikorski,,
Harce3i Stark, Hanna Szmuszkoviczj, Krzysztof Tatarklewicz,, and Wloftimierz
Wrona.
PURPOSE: This book is intended for mathematicians.
COVERAGE: The book consists of a collection of articles on analysis, series,
and function theory, Among tk-e topics discussed are: the solution of
Diophantine equations, set translationj power seriesp measure by a function,
operational calculus,, approximation of a functionp and functional spaces.
References and summaries in English and Russian are found at the end of most
of the articles. No personalities are mentioned.
Card 1/3

Hathematical Transactions,, Vol. 1,, pt. 2 POL/4231
TABLE OF CORTENTS:
Georgiyevv 0. On the Solution in Rational Numbers
of Certain Diophantine Equations 201
Mostowskil A. Determination of the Degrees of Certain Algebraic Numbers 239
Urbanik, K. On a Certain Infinite System of Equations 253
Marczewski,, E. On Translations of Sets and on a Certain Theorem of
Steinhaus 256
Biernacki, M. On a Certain Lacunary Power Series
264
Knapowski,, S. On Certain Theorems Concerning Irreducibility of
polynomials 272
Steinhaus,, H. On a Certain Power Series
276
Sikorski, R. On the Determination of Measure by a Function
of an Elementary Figure 285
Card 2/3

Mathematical Transactions., Vol. 1. pt. 2 POL/4231
Szerazen".. S. Some Properties of the Foci of a Conical.,
Revealed by Heans of the De La Fresnaye Perepectograph 292
Hartman, S. Alwat Periodic Functions
Mikusii6ski,, J. Operational Calculus in the Light of Present-Day
325
Mathematical Trends 544
kyczkovski, M. On the Errors in Approximating a Function by the
First Terms of its Power Series 371
Orlicz,, W. On Perfectly Convergent Series in Certain Functional Spaces 393
Reports From Scientific Sessions of the Polish Mathematical Society 415
AVAILAELE: Library of Congress
Card 3/3 AC/,wbc/lmas
9-i.6-6o

Mostaw-lif A Dct~
y~inaffcn of the ft-v of cerfain
Alc itimb -emce Mit,~' 6
p - i (19 5), 239-252.
iurnmaries)
etorps de rionibres rationnels, Vr- son groupe
multiplicatif, W*P 1e groupe des puissanc(~ P-itanf-,i des
416ments do W*, DI, Dg, --, D, des 06-nwio entiets de
TV* inwilgrfin dclix ~ daux (rnod IV!'ID). Soit r I.-L dimension
du t-grroijj)~,. ab&ien ditlinent-dre
Tv*P(DI, Dy,~
consiUrd comme mi
t
,"A
'~-MM~'Mt 1, co
'6p6sition de Dt
01
w (41j) fit est introduit par 1,111-teur Sous cette
e. 'auteur ddmontrc, cri oniployant la thdon de
10
Galois et A titre d!une illustratioii simple de cette tb&rie
qua, pour tous cl, c2, 1e degrd de cDl"P+
CaDal'P+ + c.-P.11P par rapport A TV est Pf. L'autenr
h'affirme p-.-is la nouveauO de ce r6sultat et dit ne pas vc
avoir cherdid s'il Wavait pas dtd ddjA publit' que1que part.
Le icOrent Fignare 4galement, mais a le sentiment que
c
e r4yl -st connu par la quwsi-totalit6 des alg6bristes~

. . . . . . . . . . . . .
'ins

441
_
_
_
_
_
_
'
_
_
-
.-
(,st
u
rj
co
U
,q ue
a W
11 eats d'affieurs, exa t q
p
et Ln Dtl PV* no Sont assulens qu k i'1 F~edje' con(Luu.1
d'Otre, incongrOs deux A deux (mud' si 1'
ue-d'fflustrer la thdorlt de, Galois, il pout se 0-
PU
Yrbntrer Plus simplement, M.. Krasner (Paris),

4~

T

ZV,
-44

A ~btmula with no recursively atimnerable
Matt ~ 42 (1955), 125-140. "4-:T
Cunitructs
-,Jrc5 ha-s no
i- " ?,. at~c~lcqliL~ but
--m-'aw r Ulp Tht~ nzon+),,W~
ii;~Oy ~nu n~ra, - Fe.) inodel.
constant5 of F, arf-4(x), R(A), C(.X), 1,
V),and G(X, V, Z),
F2 contains iii addition D(x) md E(x), 11-tere is a mottei
of Ft Consisting of (fillitt'.) strings %, fi, - - of the lettel-
a, b, c wherc A(a) measis Oat % is d, B(,8) tf;~,t # is ~b, (:(Y)
i21
that y is C, F(at, 0) Ovat a an~, p ;"IC Idt:11TICal 6(,~, ar., P)
that Y i-s 4, Tht! wasmxti~m nj F, is basesi t1t)'pfst's
r" ion Omer. J, Nhith, 65 (1943)~ 197-215: AIR
4~'
e. sets W intcg,'~S t)lyl MV~'M.S tif stnrl-S V,
d 4: function as marku-i-, Eav mt--gk!~- n is
repre;mlted by the. ~(Iing )., (if it ronsecuove a .e,.
disjoitit iiets X, Y, F., hm, a modoi m whicti AC
and E(I.)-ji i X, t~jd Om" n V
obtains a long, I Im ~ 4 1, 'n 1,1
that decidable ~Ll,uw,mi
dt-ri Akad 53 t!tA; i2f)2, jjj~, 12,
71; author shows that F1 11) duc'S n0l
rx~ MudeL -- The
-)sed r. e.
~3. ritidering prorn

-777
7-o
'I, f, j)c 11, Y, z)
s4icu (z, x, y) i~n F,, -we liave in irvxit4
'T' x, Y) and dIIf,'ft"rc rLr'jjr'5"Ve fillic-
tions io6 j: G L Wk.4, yl;; jqx, y), r, yj, I hus, il.
the integers )t and in repmsent the titj-iqp cc md P,
~(u, m) represents 4s, in particular, theru is a, recurziivej
.Z such that the string A. ii r,:pmscutvd by A(n) . ~(I) ~n, j
A(yi+.' i)=OLts,,, Ao;)j. Decida4le, relations betwem particu-1,
Jar strings have numzical formulae as thcir counterparts
-iA a rx, mudel of F, Now, the xtimns of F,Xo~ Yj
ensuru Oint, e Dj and r E, 1
thor D,* --'-k, uid E~' D Y,,, aid L),,*, FI* njitt u-01y"
exclusive and -,xhati3t:-f- ~i D,. )n,l 'F:11 'ire I.W aif~
D~*, and .v) thi,.y ire ri~cimmvc. Thi;; is exduried by
the choice f,f X, tnd Y'.
Exampies t,L otbt:r ci-ni:iizaerii i-n-aulat.- which do noq
-J`O~Rljthor-
In a,I
version by the reviewer L'Ades X-Mffie
Interijut. Milos., 1953 ,,. UV, North
Pubt. Co., Ai-nt,l,~r6m, ! 953, pp. 39-49; M IZ 15, 6t~81, the
former is,ScptcmIwr 1953, the 61 [tat ~in Augast,~ The atWhorl
Altriblutias PriqrftY6~-thc ibis seems uhlo-Aindf'-d!
G- -kr
ins -ii ciwt; Owl.

4WA
~,;. ~Wqn~,~
the-
'or
ep- the.
Omwbid
-,a set--!
-da
'o thi
__Pr
n w. ji,
Ad the'
-0 Nined
b
SU abUW~-' 'f'.
bf
r6m.
lot
Pair
th _V~
zdkti
eo va
lbfis- - )1u
naper. it
. 7.h,, ar
resw
ts~a
4 -0k ut inddels-6f.1,
-be-e:
iave
-R,r..are'-
Jp,
',7:
,o7 __ qz-

v X_0IoWAI.__A_t_ Oa recurmi-m-Madels of formaffiled
arffi_di~~. Acad. Polon, Sri. CF/'If 1. 5 (1957),
705-710, LXII. (Russian summary)
The author considers models of first-order systems of
arithmetic, the individuals 'of the model being the natural
ay recursive st
numbers or, equivalently, a ~t of objects.
His main result (*) is this: suppose the system contains a
sufficient number of primitive symbols so that (i) two
disjoint, recursively eriumerable. but not rec rsi e1
separable sets can be defined in the form (E%)A(z, n ,
(E%)B(x, a) with A and B quantifier-free, and (ii) the
relevant properties of these sets (disjointuess, calcula-
bility of A (n, m). B(n, m) for numerals a and m) can b~
formally proved in the system. Then every recursive
niodel, i.e., one in which the rion-logical constants are
replaced by recursive functions and predicates, is iso-
morphic to the standard model. An analogous result is
established for recursively enumerable models, and, by a
remark of Putnam [J. Symb. Logic 22 (1957), 110-111)
also for one number quantifier models with recursive
scope. Essentially the same results are contained in the
reviewer's abstract [ibid. 22 (1957), 109). From (*)
follows naatly a negative solution of a problem by Vaught:
W
vl~)-

let Tv he -Ahe class of first order formulae which are
satisfiabl-,- (bvei the natural numbers) by predicates from
a dass V'of 'cbnstructive' predicates, i.e., all predicates of
V are recursivel'y enumerable and every rimitive
recursive predicate is'in V; is TV arithmeticafty Nefinable
.for some sudh V.?,
. The proof 61 (4) shows that there is no recursive non-
standqxd &odel inwhich all theorems of (quantifier-free)
pridtitive recursiVe arithmetic are valid. - In other words,
recursive models are' useless for independence problems in
full primitive recursive arithmetic. This answers a ques-
tion - raised b Skolern at Amsterdam in 1954 (c(. also
'Hathematt interpretation of formal systems', North-
Holland POL Co., Arnaterdam, 1955, pp. IrI4, MR 17,
6". it is it kno*4 if elementaq Arithmetic with ad-'
it W"4 ft&l wi~ et",
G. Kieftel (Wading)

- MOSTOWSKI-,_ PDRZEJ
Algebra liniowa.
Warszawa, Polandp Panstowowe 'Wydawn. Naukowe, 1958. 188p.
Montily list of East European Accessions (WI) LC, Vol. 8, No. 8, August 1959.
Uncla.

MOST01,1SKI, ANIDRZEJ
IfElements of higher algebra"
P. 367 (Panstwowe Wydawn~ Naukowep 1958, Warsaw, Poland)
Monthly Index of East European Accessions (EEAI) LC, 7ol. 8p No. 1. Jan. 59.

Mostowski, A. %%j2dzjmrrz-. On direct sum.~.qf cyclic
P-M), 319-328. (Polish: Rus-
groups. Prace Hat. 2
sian and English summaries)
J. Szele [Publ. Math. Debrecen 2 (1951), 76-78; MR
13, 104] has given a condition of extremality of a set Z of
generators of an abelian, group G that is sufficient in order
that the set Z be a basis in the group, The condition is not
necessary. In the direct sum Cv, x Cp, x Cp, x where
CV, are cyclic groups of prime orders, P1