scientific article; zbMATH DE number 1099515

MaRDI QIDQ4369484zbMATH OpenFDO

Authors Vassily Lyubetsky

Publication date 5 January 1998

zbMATH Keywords

Boolean-valued universeintuitionistic set theoryordered fieldregular \(f\)-ringtransfer theoremZermelo-Fraenkel set theory

Mathematics Subject Classification ID

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

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

Cited in

(2)

• Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings
• 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)