Get started
Author

Daniel Wessel

Observed names: DANIEL WESSEL, Daniel Misselbeck-Wessel, Misselbeck-Wessel, Daniel, Wessel, Daniel
ORCID: 0000-0002-6768-4457
Observed ORCID: 0000-0002-6768-4457
OpenAlex ID: A5048230496
Eliminating Disjunctions by Disjunction Elimination
2017 · DAVIDE RINALDI, PETER SCHUSTER, et al. · Bulletin of Symbolic Logic · 44
Eliminating disjunctions by disjunction elimination
2017 · Davide Rinaldi, Peter Schuster, et al. · Indagationes Mathematicae · 28
PDF
Cut elimination for entailment relations
2018 · Davide Rinaldi, Daniel Wessel · Archive for Mathematical Logic · 20
Extension by Conservation. Sikorski's Theorem
2018 · Davide Rinaldi, Daniel Wessel · Logical Methods in Computer Science · 14
PDF
Ordering groups constructively
2019 · Daniel Wessel · Communications in Algebra · 12
Resolving finite indeterminacy: A definitive constructive universal prime ideal theorem
2020 · Peter Schuster, Daniel Wessel · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 11
The Jacobson Radical of a Propositional Theory
2021 · GIULIO FELLIN, PETER SCHUSTER, et al. · Bulletin of Symbolic Logic · 9
PDF
Syntax for Semantics: Krull’s Maximal Ideal Theorem
2021 · Peter Schuster, Daniel Wessel · Logic, epistemology, and the unity of science · 8
PDF
Der Satz von Hahn-Banach per Disjunktionselimination
2019 · Konstantin Schlagbauer, Peter Schuster, et al. · Confluentes Mathematici · 8
PDF
Algebras of Complemented Subsets
2022 · Iosif Petrakis, Daniel Wessel · Lecture notes in computer science · 7
Point-Free Spectra of Linear Spreads
2019 · Daniel Wessel · Synthese Library/Synthese library · 6
Dynamic evaluation of integrity and the computational content of Krull's lemma
2021 · Peter Schuster, Daniel Wessel, et al. · Journal of Pure and Applied Algebra · 5
The Computational Significance of Hausdorff’s Maximal Chain Principle
2020 · Peter Schuster, Daniel Wessel · Lecture notes in computer science · 5
PDF
A General Extension Theorem for Directed-Complete Partial Orders
2018 · Peter Schuster, Daniel Wessel · Reports on Mathematical Logic · 5
PDF
Complemented subsets and Boolean-valued, partial functions
2024 · Daniel Misselbeck-Wessel, Iosif Petrakis · Computability · 4
Radical theory of Scott-open filters
2022 · Daniel Misselbeck-Wessel, Peter Schuster · Theoretical Computer Science · 4
The Jacobson radical for an inconsistency predicate
2022 · Peter Schuster, Daniel Wessel · Computability · 4
A note on connected reduced rings
2021 · Daniel Wessel · Journal of Commutative Algebra · 4
Suzumura consistency, an alternative approach
2018 · Peter Schuster, Daniel Wessel · 3
Good sequences without subdirect representation: a constructive treatment of Mundici’s $${{\,\mathrm{\mathbf {\Gamma }}\,}}$$ functor
2026 · Daniel Misselbeck-Wessel · Studia Logica · 2
PDF
Ribenboim’s order extension theorem from a constructive point of view
2019 · Roberta Bonacina, Daniel Wessel · Algebra Universalis · 2
Boolean rigs
2025 · Daniel Misselbeck-Wessel, Iosif Petrakis · Algebra Universalis · 1
Science and technology museums as places for critical thinking skill development
2010 · Kristin Knipfer, Daniel Wessel · mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) · 1
Constructive Stone representations for separated swap and Boolean algebras
2026 · Misselbeck-Wessel, Daniel, Petrakis, Iosif · arXiv (Cornell University)
PDF
Partial Valuations Hide the Contaminating Value
2026 · Daniel Misselbeck-Wessel · The Australasian Journal of Logic
PDF
Works count: 31
Citation count: 207
H-index: 8
I10-index: 6
Year
Topic
Type