Skip to main content
SpringerLink
Log in

Some Problems in the Constructive Probability Theory

  • Chapter
Logic, Language, and Probability

Part of the book series: Synthese Library ((SYLI,volume 51))

Abstract

In this paper we shall study normed decidable Boolean algebras for the purpose of constructing the initial parts of a constructive theory of probability.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  • Chebyshev, P. L.: ‘About Mean Quantities’, Matem. sb. 2, Moscow, 1867 (Russian).

    Google Scholar 

  • Demuth, O., ‘The Lebesgue Integral in Constructive Analysis’, Zap. Naucn. Sem Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 4 (1967) 30–43 (Russian). MR 40 # 7112.

    MathSciNet  Google Scholar 

  • Egorov, D. F.: ‘Sur les suites de fonctions mesurables’, Comptes Rendus, Acad. Sci., Paris 152 (1911) 244–246.

    Google Scholar 

  • Glivenko, V. I., Course on the Theory of Probability, ONTI, Moscow, 1939 (Russian).

    Google Scholar 

  • Goodstein, R. L., Constructive Formalism. Essays on the Foundations of Mathematics, University College, Leicester, 1951, MR 14, 123.

    Google Scholar 

  • Kolmogorov, A. N., ‘Algèbres de Boole métriques complètes’, Ann. Soc. Polon. Math. 20 (1948) 21–30 (appendix).

    Google Scholar 

  • Kolmogorov, A. N., ‘Three Approaches to the Definition of the Concept of the ‘Amount of Information’, Problemy Peredaci Informacii 1 (1965) 3–11; English transi., Selected Transi. Math. Stat, and Prob., vol. 7, Amer. Math. Soc., Providence, R. I., 1968, pp. 293–302. MR 32#2273.

    MathSciNet  MATH  Google Scholar 

  • Kossovsky, N. K., ‘Some Questions in the Constructive Theory of Normed Boolean Algebras’, Trudy Mat. Inst. Steklov. 113 (1970) 3–38 = Proc. Steklov. Inst. Math. 113 (1970) 1–41.

    Google Scholar 

  • Markov, A. A., ‘On Integration in Boolean Algebras’, Sixth Scientific Session, Abstracts of Lectures, Gos. Univ., Leningrad, 1949 (Russian).

    Google Scholar 

  • Martin-Löf, P., ‘On the Concept of Random Sequence’, Teor. Verojytnost. iPrimenen. 11 (1966) 198–200.

    Google Scholar 

  • Sanin, N. A., ‘Constructive Real Numbers and Constructive Function Spaces’, Trudy Mat. Inst. Steklov. 67 (1962) 15–294; English transi., Transi. Math. Monographs, vol. 21, Amer. Math. Soc., Providence, R.I., 1968. MR 28#30.

    MathSciNet  Google Scholar 

  • Slisenko, A. O., ‘The Construction of Maximal Continuity Regulators for Constructive Functions’, Trudy Mat. Inst. Steklov. 93 (1967) 208–249 = Proc. Steklov Inst. Math. 93 (1967) 269–317.

    MATH  Google Scholar 

  • Specker, E., ‘Nicht konstruktiv beweisbare Sätze der Analysis’, J. Symbolic Logic 14 (1949) 145–158. MR 11, 151.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Leningrad State University, Leningrad, Russia

    N. K. Kossovsky (Faculty of Mathematics)

Authors
  1. N. K. Kossovsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Central Institute for In-Service Teachers Training, Bucharest, Romania

    Radu J. Bogdan

  2. National Research Council for the Humanities, Helsinki, Finland

    Ilkka Niiniluoto

Rights and permissions

Reprints and permissions

Copyright information

© 1973 D. Reidel Publishing Company, Dordrecht, Holland

About this chapter

Cite this chapter

Kossovsky, N.K. (1973). Some Problems in the Constructive Probability Theory. In: Bogdan, R.J., Niiniluoto, I. (eds) Logic, Language, and Probability. Synthese Library, vol 51. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-2568-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-94-010-2568-3_8

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-2570-6

  • Online ISBN: 978-94-010-2568-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation