The logic of integration

DOI10.1007/S00153-009-0133-7zbMATH Open1172.03014OpenAlexW2062244630MaRDI QIDQ2391096FDOQ2391096

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Model theory for metric structures
• Continuous first order logic and local stability
• Continuous Model Theory. (AM-58)
• Probability logic

Cited In (10)

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

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)