scientific article
From MaRDI portal
Publication:3007387
zbMath1233.03002MaRDI QIDQ3007387
No author found.
Publication date: 21 June 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
independenceconsistencyHeyting algebrasforcingBoolean algebrasMartin's axiomcontinuum hypothesisaxiom of choiceBoolean-valued modelSouslin's problem
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (9)
On the non-existence of two-valued lattice homomorphisms of quantum logic ⋮ Towards a Paraconsistent Quantum Set Theory ⋮ Set Theory and Structures ⋮ One step is enough ⋮ Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems ⋮ Boolean mereology ⋮ Helena Rasiowa (1917-1994) Life and Personality ⋮ Unnamed Item ⋮ Helena Rasiowa (1917–1994)
This page was built for publication:
