Markus Junker

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
Logic for computer science. An introduction to propositional logic, predicate logic, and computability theory	2025-04-14	Paper
Model completion of varieties of co-Heyting algebras (available as arXiv preprint)	2018-07-12	Paper
Codimension and pseudometric in co-Heyting algebras Algebra Universalis	2011-05-11	Paper
\({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations Algebra Universalis	2011-05-11	Paper
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond Archive for Mathematical Logic	2010-10-27	Paper
Schlanke Körper (slim fields) Journal of Symbolic Logic	2010-06-24	Paper
The 116 reducts of (ℚ, <, <i>a</i>) Journal of Symbolic Logic	2009-03-23	Paper
The indiscernible topology: A mock Zariski topology Journal of Mathematical Logic	2002-02-27	Paper
Theories with equational forking Journal of Symbolic Logic	2002-01-01	Paper
A note on equational theories The Journal of Symbolic Logic	2001-11-23	Paper
Completeness in Zariski groups Israel Journal of Mathematics	1999-09-12	Paper

Research outcomes over time

This page was built for person: Markus Junker