Transference theorems and intuitionistic set theory

MaRDI QIDQ1595703zbMATH OpenFDO

Authors Vassily Lyubetsky

Publication date 13 February 2001

Published in Doklady Mathematics (Search for Journal in Brave)

zbMATH Keywords

intuitionistic set theoryordered fieldsordered ringsrings

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55) Ordered rings, algebras, modules (06F25) Ordered fields (12J15) Connections between field theory and logic (12L99) Applications of logic in associative algebras (16B70) von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Infinite-dimensional and general division rings (16K40)

Recommendations

• Intuitionistic set theory
• Transfer principles in nonstandard intuitionistic arithmetic
• Intuitionistic fixed point theories over set theories
• Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings
• On the quantificational logic of intuitionistic set theory
• Sets, Topoi and Intuitionism
• Axiomatic theory for transversality and Bertini type theorems
• Extensional realizability for intuitionistic set theory
• Intuitionistic sets and ordinals
• scientific article; zbMATH DE number 7650846

Cited in

(6)

• Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings
• scientific article; zbMATH DE number 3948263 (Why is no real title available?)
• scientific article; zbMATH DE number 125236 (Why is no real title available?)
• scientific article; zbMATH DE number 1099515 (Why is no real title available?)
• MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER
• Intuitionistic fixed point theories over set theories

This page was built for publication: Transference theorems and intuitionistic set theory

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