A completeness proof for adapted probability logic

DOI10.1016/0168-0072(86)90062-XMaRDI QIDQ1080844zbMATH OpenFDO

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)90062-X

zbMATH Keywords

continuous time stochastic processes

Mathematics Subject Classification ID

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

Review text

Adapted probability logic is a formal logic appropriate for the study of continuous time stochastic processes. It was introduced by Keisler, and has been developed by Keisler and Hoover and others. This paper provides a short and clear completeness proof for this logic.

Recommendations

• scientific article; zbMATH DE number 3957058
• Hyperfinite models of adapted probability logic
• scientific article; zbMATH DE number 940714
• scientific article; zbMATH DE number 416756
• scientific article; zbMATH DE number 1929309

Cites work

• A characterization of nonstandard liftings of measurable functions and stochastic processes
• A functional approach to nonstandard measure theory
• Adapted Probability Distributions
• Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory
• scientific article; zbMATH DE number 3957058 (Why is no real title available?)
• Hyperfinite models of adapted probability logic
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Probability logic
• Some model theoretic results for -logic

Cited in

(6)

• Probability logic with conditional expectation
• Hyperfinite models of adapted probability logic
• A p-adic probability logic
• scientific article; zbMATH DE number 416756 (Why is no real title available?)
• scientific article; zbMATH DE number 3957058 (Why is no real title available?)
• Elementary embeddings and games in adapted probability logic

This page was built for publication: A completeness proof for adapted probability logic

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