scientific article; zbMATH DE number 1827959
From MaRDI portal
Publication:4781761
zbMath1013.03059MaRDI QIDQ4781761
Jouko Väänänen, Jonathan Stavi
Publication date: 6 February 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Martin's axiomBoolean-valued modelsreflection principlescardinality of the continuumHärtig quantifierextensions of first-order logicLöwenheim numberCohen algebrasLöwenheim-Skolem theorems
Classical first-order logic (03B10) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Logic with extra quantifiers and operators (03C80) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (13)
LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION ⋮ A simple maximality principle ⋮ Small embedding characterizations for large cardinals ⋮ Inner-model reflection principles ⋮ The relative strengths of fragments of Martin's axiom ⋮ Subcomplete forcing principles and definable well‐orders ⋮ When cardinals determine the power set: inner models and Härtig quantifier logic ⋮ Resurrection axioms and uplifting cardinals ⋮ Structural connections between a forcing class and its modal logic ⋮ Some Second Order Set Theory ⋮ Martin's maximum revisited ⋮ Closed maximality principles and generalized Baire spaces ⋮ COMBINING RESURRECTION AND MAXIMALITY
This page was built for publication:
