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

definable setultraproductcontinuous logicelementary embeddinggraded measure structure

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic with extra quantifiers and operators (03C80) Models of other mathematical theories (03C65) Ultraproducts and related constructions (03C20) 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

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

Cited in

(10)

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

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)