Maximal elements with minimal logic

DOI10.1016/J.IPL.2023.106403MaRDI QIDQ6161463zbMATH OpenOpenAlexFDO

Authors Daniel Misselbeck-Wessel

Publication date 5 June 2023

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2023.106403

zbMATH Keywords

constructive mathematicsdomain theoryformal methodsZorn's lemma

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A course in constructive algebra
• A logical approach to abstract algebra
• A remark on method in transfinite algebra
• A universal algorithm for Krull's theorem
• Aspects of general topology in constructive set theory
• Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
• Constructive domain theory as a branch of intuitionistic pointfree topology
• Continuous Lattices and Domains
• Domain Theory and Realisability over Scott’s D_∞ in Constructive Set Theory
• Frames and Locales
• scientific article; zbMATH DE number 3908428 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 936267 (Why is no real title available?)
• scientific article; zbMATH DE number 3387482 (Why is no real title available?)
• scientific article; zbMATH DE number 3024119 (Why is no real title available?)
• Intuitionistic set theory
• Krivine's intuitionistic proof of classical completeness (for countable languages)
• Logic and structure
• Making the use of maximal ideals constructive
• Maximal ideals in countable rings, constructively
• On Tarski’s fixed point theorem
• Proofs and computations
• Radical theory of Scott-open filters
• Recursive Functions and Constructive Mathematics
• Spaces of maximal points
• Syntax for semantics: Krull's maximal ideal theorem
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories

Cited in

(3)

• Maximal ideals in countable rings, constructively
• Maximal-element rationalizability
• scientific article; zbMATH DE number 1332372 (Why is no real title available?)

This page was built for publication: Maximal elements with minimal logic

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