Hyperfinite models of adapted probability logic

DOI10.1016/0168-0072(86)90063-1MaRDI QIDQ1080845zbMATH OpenOpenAlexFDO

Authors H. Jerome Keisler

Publication date 1986

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(86)90063-1

zbMATH Keywords

continuous time stochastic processeshomogeneity properties

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Nonstandard models (03H99) Axioms; other general questions in probability (60A05)

Review text

This paper deals with the model theory of adapted probability logic, a logic appropriate to the study of continuous time stochastic processes. The paper shows that a certain class of models, the hyperfinite models, has certain useful homogeneity properties. These properties allow the hyperfinite models to serve similar functions to those of saturated models in first order logic.

Recommendations

• A completeness proof for adapted probability logic
• Elementary embeddings and games in adapted probability logic
• Probability logic with conditional expectation
• Model theory of measure spaces and probability logic
• scientific article; zbMATH DE number 1862467

Cites work

• A characterization of nonstandard liftings of measurable functions and stochastic processes
• A completeness proof for adapted probability logic
• A functional approach to nonstandard measure theory
• A non-standard representation for Brownian motion and Ito integration
• Adapted Probability Distributions
• An infinitesimal approach to stochastic analysis
• Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory
• Foundations of infinitesimal stochastic analysis
• scientific article; zbMATH DE number 3957058 (Why is no real title available?)
• scientific article; zbMATH DE number 3274494 (Why is no real title available?)
• scientific article; zbMATH DE number 3300585 (Why is no real title available?)
• Model theory
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Nonstandard Measure Theory and its Applications
• Probability logic
• Probability logic with conditional expectation
• Some model theoretic results for -logic
• The strength of nonstandard methods in arithmetic

Cited in

(8)

• A completeness proof for adapted probability logic
• Rich and saturated adapted spaces
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• A p-adic probability logic
• Adapted Probability Distributions
• Ultralogics and probability models
• Probability modals and infinite domains
• Elementary embeddings and games in adapted probability logic

This page was built for publication: Hyperfinite models of adapted probability logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1080845)