scientific article; zbMATH DE number 1099515

zbMATH Open0880.03025MaRDI QIDQ4369484FDOQ4369484

Authors: Vassily Lyubetsky 

Publication date: 5 January 1998

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

Recommendations

• Algebras of modal operators and partial correctness
• scientific article; zbMATH DE number 1222489
• Modal operators on MV-algebras.
• Modal operators on \(L\)-algebras
• scientific article; zbMATH DE number 5054082
• An extension algebra and the modal system
• Transference theorems and intuitionistic set theory
• Chang's modal operators in algebraic logic
• Modal operators on pseudo-BE algebras
• A Transitivity Theorem for Algebras of Elementary Operators

zbMATH Keywords

intuitionistic set theoryordered fieldZermelo-Fraenkel set theorytransfer theoremBoolean-valued universeregular \(f\)-ring

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Axiomatics of classical set theory and its fragments (03E30) Applications of logic to commutative algebra (13L05)

Cited In (1)

• Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of 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 Q4369484)