Haar measure and integral logic

&
Mathematical Logic Quarterly 58 (4):294-302 (2012)
  Copy   BIBTEX

Abstract

We study invariant measures on compact Hausdorff spaces using finitary integral logic. For each compact Hausdorff space X and any family equation image of its continuous transformations, we find equivalent conditions for the existence of an equation image-invariant measure on X. We give two proofs of the existence of Haar measure on compact groups

Categories

Keywords

Reprint years

DOI

10.1002/malq.201110058

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Random variables and integral logic.Karim Khanaki & Seyed-Mohammad Bagheri - 2011 - Mathematical Logic Quarterly 57 (5):494-503.
A non-standard construction of Haar measure and weak könig's lemma.Kazuyuki Tanaka & Takeshi Yamazaki - 2000 - Journal of Symbolic Logic 65 (1):173-186.
Model theory of measure spaces and probability logic.Rutger Kuyper & Sebastiaan A. Terwijn - 2013 - Review of Symbolic Logic 6 (3):367-393.
Search for Quantum Reality.Stan Gudder - 2013 - Journal of Philosophical Logic 42 (3):525-533.
Level Compactness.Gillman Payette & Blaine D'Entremont - 2006 - Notre Dame Journal of Formal Logic 47 (4):545-555.
Rationaliteit, Haar grond en Haar monsters.E. Oger - 1992 - Tijdschrift Voor Filosofie 54 (1):87 - 106.
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.
Anna Maria van Schurman's verhouding tot wetenschap in haar vroege en haar late werk.Angela Roothaan & Caroline van Eck - 1990 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 82:194.
A localic theory of lower and upper integrals.Steven Vickers - 2008 - Mathematical Logic Quarterly 54 (1):109-123.
A measure of bizarreness.Christopher Chambers & Alan D. Miller - manuscript
A proofless proof of the Barwise compactness theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
Complex analysis in subsystems of second order arithmetic.Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (1):15-35.
Representation and extension of states on MV-algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.
Finite powers of strong measure zero sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
Heidegger and the Essence of Man.Michel Haar & Herbert L. Dreyfus - 1993 - State University of New York Press.

Analytics

Added to PP
2013-12-01

Downloads
12 (#1,091,300)

6 months
6 (#530,615)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The logic of integration.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2009 - Archive for Mathematical Logic 48 (5):465-492.
Probability logic.Douglas N. Hoover - 1978 - Annals of Mathematical Logic 14 (3):287.
Random variables and integral logic.Karim Khanaki & Seyed-Mohammad Bagheri - 2011 - Mathematical Logic Quarterly 57 (5):494-503.

Add more references