Haar measure and integral logic

DOI10.1002/malq.201110058zbMath1251.03028OpenAlexW2153779769MaRDI QIDQ2910983

Massoud Amini, Karim Khanaki

Publication date: 12 September 2012

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201110058

zbMATH Keywords

Haar measureprobability logiccompactness theoremintegral logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Ultraproducts and related constructions (03C20) Models of other mathematical theories (03C65) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15)

Related Items

Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic ⋮ Uniform logical new proofs for the Daniell-Stone theorem and the Riesz representation theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of integration
• Continuous first order logic and local stability
• Random variables and integral logic
• Probability logic
• Continuous Model Theory. (AM-58)