A non-standard construction of Haar measure and weak König's lemma

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)

Abstract

In this paper, we show within RCA0 that weak König's lemma is necessary and sufficient to prove that any (separable) compact group has a Haar measure. Within WKL0, a Haar measure is constructed by a non-standard method based on a fact that every countable non-standard model of WKL0 has a proper initial part isomorphic to itself [10].

Original languageEnglish
Pages (from-to)173-186
Number of pages14
JournalJournal of Symbolic Logic
Volume65
Issue number1
DOIs
Publication statusPublished - 2000 Mar

ASJC Scopus subject areas

  • Philosophy
  • Logic

Fingerprint Dive into the research topics of 'A non-standard construction of Haar measure and weak König's lemma'. Together they form a unique fingerprint.

Cite this