Search results
From MaRDI portal
- of a Constructive Theory of Stochastic Processes 2023-08-11 Paper Foundations of Constructive Probability Theory 2021-05-05 Paper A constructive study...10 bytes (18 words) - 06:49, 7 October 2023
- Metamathematical properties of a constructive multi-typed theory 2017-07-19 Paper Realizability and Existence Property of a Constructive Set Theory with Types 2017-06-09...10 bytes (16 words) - 01:17, 10 December 2023
- of Publication Type Updating Probability: Tracking Statistics as Criterion 2018-11-19 Paper Fine-Grained Opinion, Probability, and the Logic of Full Belief...10 bytes (21 words) - 14:31, 12 December 2023
- defense of a constructive, information-based approach to decision theory 1998-06-04 Paper An Information-Based Model for Subjective Probability 1995-03-28...10 bytes (18 words) - 07:16, 13 December 2023
- persistence, and constructive chemical reaction networks. II: A formalism for species composition in chemical reaction network theory and application to...10 bytes (18 words) - 09:04, 9 December 2023
- de/entity/Q3965387 1982-01-01 Paper Constructive probability 1981-01-01 Paper Allocations of probability 1979-01-01 Paper Non-additive probabilities in the work of Bernoulli...10 bytes (19 words) - 02:14, 11 December 2023
- Computability of probability measures and Martin-Löf randomness over metric spaces 2009-07-15 Paper Applications of Effective Probability Theory to Martin-Löf...10 bytes (16 words) - 20:22, 11 December 2023
- 2018-12-04 Paper A Quantum Probability Model for the Constructive Influence of Affective Evaluation 2018-04-23 Paper Quantum probability updating from zero priors...10 bytes (19 words) - 10:24, 11 December 2023
- logics 1999-11-18 Paper Fuzzy quantum logics as a basis for quantum probability theory 1999-03-07 Paper Conjunctions, disjunctions, and Bell-type inequalities...10 bytes (16 words) - 02:50, 12 December 2023
- randomness and sublocales 2012-09-26 Paper Constructive toposes with countable sums as models of constructive set theory 2012-09-06 Paper Sequent calculi for...10 bytes (18 words) - 17:19, 11 December 2023
- development of a constructive axiomatization 2019-01-15 Paper KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM...10 bytes (19 words) - 15:59, 7 December 2023
- 1976-01-01 Paper A constructive modification of Vietoris homology 1976-01-01 Paper The constructive theory of KT-modules 1975-01-01 Paper Constructive Aspects of...10 bytes (17 words) - 19:13, 24 September 2023
- dissertation ``Some theorems on the algorithmic approach to probability theory and information theory (November 27, 1972) 2011-09-12 Paper On a finitary version...10 bytes (19 words) - 16:43, 24 September 2023
- interpretation of intuitionistic number theory 1945-01-01 Paper On the Forms of the Predicates in the Theory of Constructive Ordinals 1944-01-01 Paper Recursive...10 bytes (19 words) - 09:57, 13 December 2023
- minimalist foundation and constructive set theory 2022-12-07 Paper A categorical reading of the numerical existence property in constructive foundations 2022-10-09...10 bytes (16 words) - 20:16, 24 September 2023
- 2010-06-17 Paper Learning Theory and Kernel Machines 2010-03-23 Paper Constructive equivalence relations on computable probability measures 2009-10-26 Paper...10 bytes (17 words) - 03:36, 12 December 2023
- 2007-02-13 Paper Computer Aided Systems Theory – EUROCAST 2005 2006-11-01 Paper Computer Aided Systems Theory – EUROCAST 2005 2006-11-01 Paper https://portal...10 bytes (17 words) - 05:24, 9 December 2023
- Computability Theory and Algorithmic Information Theory 2012-08-14 Paper Random Semicomputable Reals Revisited 2012-06-15 Paper A constructive version of...10 bytes (17 words) - 13:28, 28 January 2024
- Computability of probability measures and Martin-Löf randomness over metric spaces 2009-07-15 Paper Applications of Effective Probability Theory to Martin-Löf...10 bytes (16 words) - 03:32, 7 October 2023
- Research in Ergodic Theory and Mathematical Problems of Statistical Mechanics in the Moscow University Department of Probability Theory 1989-01-01 Paper Ultraviolet...10 bytes (18 words) - 02:38, 10 December 2023
