Daniel Wessel

Available identifiers

Publication	Date of Publication	Type
The computational significance of Hausdorff's maximal chain principle	2022-12-16	Paper
Algebras of complemented subsets	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5869519	2022-09-28	Paper
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY	2022-06-30	Paper
The Jacobson radical for an inconsistency predicate	2022-05-16	Paper
A note on connected reduced rings	2022-02-09	Paper
The Hahn-Banach theorem by disjunction elimination	2022-02-04	Paper
Syntax for Semantics: Krull’s Maximal Ideal Theorem	2022-01-27	Paper
Dynamic evaluation of integrity and the computational content of Krull's lemma	2021-09-02	Paper
Resolving finite indeterminacy	2021-01-21	Paper
Point-Free Spectra of Linear Spreads	2020-08-10	Paper
Some forms of excluded middle for linear orders	2020-05-06	Paper
Ribenboim's order extension theorem from a constructive point of view	2019-12-27	Paper
Ordering groups constructively	2019-10-28	Paper
Cut elimination for entailment relations	2019-07-04	Paper
A General Extension Theorem for Directed-Complete Partial Orders	2019-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4553278	2018-11-02	Paper
Eliminating disjunctions by disjunction elimination	2018-01-12	Paper
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION	2017-10-06	Paper

This page was built for person: Daniel Wessel