scientific article; zbMATH DE number 1021638

MaRDI QIDQ4340909zbMATH OpenFDO

Authors Raymond M. Smullyan, Melvin Fitting

Publication date 16 June 1997

zbMATH Keywords

class set theoryconsistencyforcingmodal logicNBG

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Modal logic (including the logic of norms) (03B45) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Nonclassical and second-order set theories (03E70) Set theory (03Exx)

Recommendations

• Fast Track to Forcing
• scientific article; zbMATH DE number 941487
• Set theory.
• scientific article; zbMATH DE number 1849876

Cited in

(23)

• Categoricity theorems and conceptions of set
• Categoricity results for second-order ZF in dependent type theory
• On fuzzification of Tarski's fixed point theorem without transitivity
• Common coupled fixed point results for operators without mixed monotone type properties and application to nonlinear integral equations
• A comparative study of Tarski's fixed point theorems with the stress on commutative sets of \(\mathbf{L}\)-fuzzy isotone maps with respect to transitivities
• Forcing and the universe of sets: must we lose insight?
• A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach
• Problems and theorems in classical set theory
• On generalized methods of successive approximations
• Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940
• scientific article; zbMATH DE number 3521967 (Why is no real title available?)
• Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall
• CAN MODALITIES SAVE NAIVE SET THEORY?
• Set theory with a proper class of indiscernibles
• Partitioning Kripke frames of finite height
• The modal logic of forcing
• scientific article; zbMATH DE number 5046773 (Why is no real title available?)
• scientific article; zbMATH DE number 3051339 (Why is no real title available?)
• scientific article; zbMATH DE number 7673596 (Why is no real title available?)
• On some categories of structured sets
• Idempotent completions of n-exangulated categories
• The Boolean many-valued solution to the sorites paradox
• Banach-Tarski type paradox preserving self-similar measure

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4340909)