Daniel Wessel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
Suzumura consistency, an alternative approach	2022-09-28	Paper
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY The Bulletin of Symbolic Logic	2022-06-30	Paper
The Jacobson radical for an inconsistency predicate Computability	2022-05-16	Paper
A note on connected reduced rings Journal of Commutative Algebra	2022-02-09	Paper
The Hahn-Banach theorem by disjunction elimination Confluentes Mathematici	2022-02-04	Paper
Syntax for semantics: Krull's maximal ideal theorem Paul Lorenzen -- Mathematician and Logician	2022-01-27	Paper
Dynamic evaluation of integrity and the computational content of Krull's lemma Journal of Pure and Applied Algebra	2021-09-02	Paper
Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Point-Free Spectra of Linear Spreads Mathesis Universalis, Computability and Proof	2020-08-10	Paper
Some forms of excluded middle for linear orders Mathematical Logic Quarterly	2020-05-06	Paper
Ribenboim's order extension theorem from a constructive point of view Algebra Universalis	2019-12-27	Paper
Ordering groups constructively Communications in Algebra	2019-10-28	Paper
Cut elimination for entailment relations Archive for Mathematical Logic	2019-07-04	Paper
A general extension theorem for directed-complete partial orders Reports on Mathematical Logic	2019-03-11	Paper
Extension by conservation. Sikorski's theorem (available as arXiv preprint)	2018-11-02	Paper
Eliminating disjunctions by disjunction elimination Indagationes Mathematicae. New Series	2018-01-12	Paper
Eliminating disjunctions by disjunction elimination The Bulletin of Symbolic Logic	2017-10-06	Paper

Research outcomes over time

This page was built for person: Daniel Wessel