The logic of integration

DOI10.1007/S00153-009-0133-7MaRDI QIDQ2391096zbMATH OpenOpenAlexFDO

Authors Seyed Mohammad Bagheri, M. Pourmahdian

Publication date 24 July 2009

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-009-0133-7

zbMATH Keywords

continuous logicdefinable setelementary embeddinggraded measure structureultraproduct

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Ultraproducts and related constructions (03C20) Models of other mathematical theories (03C65) Logic with extra quantifiers and operators (03C80) Other connections with logic and set theory (28E15)

Recommendations

• scientific article; zbMATH DE number 3104486
• Constructive algebraic integration theory
• Integration with filters
• Integration in valued fields
• Completeness theorem for probability models with finitely many valued measure in logic with integrals

Cites work

• Continuous first order logic and local stability
• Continuous Model Theory. (AM-58)
• scientific article; zbMATH DE number 3437452 (Why is no real title available?)
• scientific article; zbMATH DE number 3429561 (Why is no real title available?)
• Model theory for metric structures
• Probability logic

Cited in

(12)

• An approximate logic for measures
• Uniform logical new proofs for the Daniell-Stone theorem and the Riesz representation theorem
• Structure integration
• Haar measure and integral logic
• Random variables and integral logic
• Quantified universes and ultraproducts
• Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
• Integration with filters
• Model theory of measure spaces and probability logic
• Mixing and double recurrence in probability groups
• On probabilistic and causal reasoning with summation operators
• Some mathematical logical proofs for the Radon-Nikodym theorem and the stone representation theorem for measure algebras

This page was built for publication: The logic of integration

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