scientific article
From MaRDI portal
Publication:3856756
zbMath0423.03041MaRDI QIDQ3856756
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
law of large numbersmany-valued logicLoeb spacemeasure spaceFubini type theoremhyperfinite structuresmodel theory of probability spaces
Logic with extra quantifiers and operators (03C80) Axioms; other general questions in probability (60A05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other infinitary logic (03C75)
Related Items (47)
Semantic universality of theories over a superlist ⋮ On the danger of half-truths ⋮ Axiomatizable classes with strong homomorphisms ⋮ Uncorrelatedness and orthogonality for vector-valued processes ⋮ Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence ⋮ Unbounded Loeb Measures ⋮ Fields with continuous local elementary properties. I ⋮ Generators, indecomposables and free algebras ⋮ Hyperfinite construction of G-expectation ⋮ On the structure of initial segments of models of arithmetic ⋮ A propositional probabilistic logic with discrete linear time for reasoning about evidence ⋮ On aggregation of information in competitive markets: The dynamic case ⋮ Multi-period information markets ⋮ Independent random partial matching with general types ⋮ σ-algebras for quasirandom hypergraphs ⋮ External automorphisms of ultraproducts of finite models ⋮ Applications of model theory to representations of finite-dimensional algebras ⋮ Direct hyperfinite representations of finitely additive probabilities ⋮ Dynamic directed random matching ⋮ Theories with three countable models ⋮ The one-way Fubini property and conditional independence: an equivalence result ⋮ Elementary embeddings and games in adapted probability logic ⋮ Similarities and proximity of complete theories ⋮ Star-Finite Representations of Measure Spaces ⋮ Limiting probability measures ⋮ Existence of independent random matching ⋮ Joint measurability and the one-way Fubini property for a continuum of independent random variables ⋮ An analytic approach to sparse hypergraphs: hypergraph removal ⋮ Partial monotonicity and a new version of the Ramsey test ⋮ The well-designed logical robot: learning and experience from observations to the Situation Calculus ⋮ A type reduction from proof-conditional to dynamic semantics ⋮ On the existence of solutions to stochastic differential equations on Loeb spaces ⋮ The complexity of satisfiability in non-iterated and iterated probabilistic logics ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ Back and forth between continuous and discrete for the working computer scientist ⋮ On the expressive power of data dependencies ⋮ A characterization of nonstandard liftings of measurable functions and stochastic processes ⋮ Completeness theorem for probability models with finitely many valued measure ⋮ Martingale property of empirical processes ⋮ A theory of hyperfinite processes: The complete removal of individual uncertainty via exact LLN ⋮ Notion of indiscernibleness and on the p-Mazur property in Banach spaces ⋮ Hyperfinite von Neumann games ⋮ A finitary realizable list of properties ⋮ Relative regular closedness and \(\pi\)-valuations ⋮ Logics with Probability Operators ⋮ Applications of Logics About Simple Probabilities ⋮ Club guessing and the universal models
This page was built for publication:
