Remarks on Henkin's paper: Boolean representation trough, propositional calculus

J. Łoś

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Remarks on Henkin's paper: Boolean representation trough, propositional calculus”

The independence of the axiom of choice from the Boolean prime ideal theorem

J. Halperin (1964)

Fundamenta Mathematicae

Similarity:

A remark on Sikorski's extension theorem for homomorphisms in the theory of Boolean algebras

W. Luxemburg (1964)

Fundamenta Mathematicae

Similarity:

Kelley's specialization of Tychonoff's Theorem is equivalent to the Boolean Prime Ideal Theorem

Eric Schechter (2006)

Fundamenta Mathematicae

Similarity:

The principle that "any product of cofinite topologies is compact" is equivalent (without appealing to the Axiom of Choice) to the Boolean Prime Ideal Theorem.

Boolean representation trough propositional calculus

Leon Henkin (1955)

Fundamenta Mathematicae

Similarity:

A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem

Miroslav Repický (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We present a proof of the Boolean Prime Ideal Theorem in a transitive model of ZF in which the Axiom of Choice does not hold. We omit the argument based on the full Halpern-Läuchli partition theorem and instead we reduce the proof to its elementary case.