- Research Article
22- 10.4064/fm-136-2-85-89
A note on bounded arithmetic
- Jan 01, 1990
- Fundamenta Mathematicae
- P Pudlák
Czech Aeroholding (Czechia)
Recent publications and citations
Top Concepts
Top subject area publications in last 5 years
Collaboration Analysis
Publications from 2021 to 2026
Latest Publications
Filter Showing 8 of 8 papers
- Book Chapter
- 2
- 10.1007/bfb0103361
Contractivity of the operator of the arithmetical mean
- Jan 01, 1988
- Josef Král + 1 more +1
- Research Article
- 10.1016/0016-7061(83)90093-9
Red-brown earths of Australia: J.M. Oades, D.G. Lewis and K. Norrish (Editors). Waide Agricultural Research Institute, University of Adelaide, and the CSIRO Division of Soils, South Australia, 1981, 168 pp., A$11.00
- Mar 01, 1983
- Geoderma
- J Lasik
- Research Article
- 1
- 10.4064/-8-1-367-371
Survey of some results in spectral theory obtained in Prague
- Jan 01, 1982
- Banach Center Publications
- Vlastimil Pták
- Research Article
- 11
- 10.1007/bf00201888
The iron-tungsten-sulphur system and its geological application
- Nov 01, 1971
- Mineralium Deposita
- M Štemprok
The subsolidus region of the Fe-W-S system was studied by experiments performed in evacuated silica tubes. Ternary phases were not encountered. Tungsten disulphide WS2 is stable with the iron sulphides but not with metallic iron. The major tie-line pyrrhotite-tungsten differentiates this system from the analogous Fe-Mo-S system. Experiments on the Fe-W-O-S system demonstrate that WS2 (tungstenite) is not stable in the presence of iron oxides. Molybdenum and tungsten show different affinities to sulphur which is manifested in nature in abundant molybdenite as contrasted with rare tungstenite. Sulphur fugacity data in the literature differ on WS2. There data are compared with the present experimental results.
Read more- Research Article
- 2
- 10.4064/fm-50-4-413-418
On the classification of σ(B)-measurable functions defined on an abstract point set
- Jan 01, 1962
- Fundamenta Mathematicae
- J Novák
- Research Article
- 31
- 10.4064/sm-15-3-365-366
On a theorem of Mazur and Orlicz
- Jan 01, 1956
- Studia Mathematica
- Vlastimil Pták
- Supplementary Content
- 10.1182/blood.v9.11.1120.1120
ABSTRACTS
- Nov 01, 1954
- Blood
- Joseph F Ross
