scientific article; zbMATH DE number 1021638

zbMATH Open0888.03032MaRDI QIDQ4340909FDOQ4340909

Authors: Raymond M. Smullyan, Melvin Fitting 

Publication date: 16 June 1997

Title of this publication is not available (Why is that?)

Recommendations

• Fast Track to Forcing
• Publication:4714461
• Set theory.
• scientific article; zbMATH DE number 1849876

zbMATH Keywords

consistencyforcingmodal logicNBGclass set theory

Mathematics Subject Classification ID

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

Cited In (21)

• Set theory with a proper class of indiscernibles
• Categoricity results for second-order ZF in dependent type theory
• Categoricity theorems and conceptions of set
• Idempotent completions of \(n\)-exangulated categories
• Common coupled fixed point results for operators without mixed monotone type properties and application to nonlinear integral equations
• CAN MODALITIES SAVE NAIVE SET THEORY?
• The modal logic of forcing
• On generalized methods of successive approximations
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Problems and theorems in classical set theory
• Title not available (Why is that?)
• Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940
• Title not available (Why is that?)
• Partitioning Kripke frames of finite height
• A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach
• Surreal numbers with derivation, Hardy fields and transseries: a survey
• On fuzzification of Tarski's fixed point theorem without transitivity
• Forcing and the universe of sets: must we lose insight?
• On some categories of structured sets

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)