scientific article; zbMATH DE number 3652330
From MaRDI portal
Publication:3852176
Cited in
(27)- The lack of definable witnesses and provably recursive functions in intuitionistic set theories
- Arithmetic transfinite induction and recursive well-orderings
- Globalization of intuitionistic set theory
- Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
- Constructive \(\lambda\)-models
- Fuzzy sets and residuated logic
- Formal frameworks for approximate reasoning
- Global intuitionistic analysis
- Constructing illoyal algebra-valued models of set theory
- Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
- Quantum set theory: transfer principle and De Morgan's laws
- Orthomodular-valued models for quantum set theory
- On the Cauchy completeness of the constructive Cauchy reals
- Operational meanings of orders of observables defined through quantum set theories with different conditionals
- NON-CLASSICAL FOUNDATIONS OF SET THEORY
- A paraconsistent logic obtained from an algebra-valued model of set theory
- \(\mathsf{ZF}\) and its interpretations
- INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
- Effectivity properties of intuitionistic set theory with collection scheme
- Generalizing realizability and Heyting models for constructive set theory
- Quantum set theory: quantum conditionals and order of observables
- A natural interpretation of fuzzy sets and fuzzy relations
- Very large set axioms over constructive set theories
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets
- Transcending classical boundaries: choice and its equivalences
- Basic mathematics beyond classicality
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 Q3852176)
