| Publication | Date of Publication | Type |
|---|
| \(Z^{\circ}\)-ideals and \(Z\)-ideals in \(MV\)-algebras | 2023-09-01 | Paper |
| Entropies and dynamical systems in Riesz MV-algebras | 2023-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6116262 | 2023-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5878357 | 2023-02-21 | Paper |
| The spectrum problem for $\ell$-groups and for MV-algebras: a categorical approach | 2023-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869529 | 2022-09-28 | Paper |
| Geometry of super-Łukasiewicz logics | 2022-09-08 | Paper |
| Models, coproducts and exchangeability: notes on states on Baire functions | 2022-08-12 | Paper |
| A characterization of pseudofinite MV-algebras | 2022-07-12 | Paper |
| Expanding lattice ordered abelian groups to Riesz spaces | 2022-02-22 | Paper |
| Dualities and algebraic geometry of Baire functions in non-classical logic | 2021-11-09 | Paper |
| Sheaf representations and locality of Riesz spaces with order unit | 2021-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964730 | 2021-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151000 | 2021-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5146272 | 2021-01-25 | Paper |
| On the Riesz structures of a lattice ordered abelian group | 2020-12-30 | Paper |
| The spectrum problem for abelian \(\ell\)-groups and MV-algebras | 2020-07-13 | Paper |
| Ultramatricial algebras over commutative chain semirings and application to MV-algebras | 2020-04-01 | Paper |
| Observables on perfect MV-algebras | 2019-10-16 | Paper |
| Entropy of MV-algebraic dynamical systems: An example | 2019-08-12 | Paper |
| Topological spaces of monadic MV-algebras | 2019-07-02 | Paper |
| Some invariant skeletons for \(\ell\)-u groups and MV-algebras | 2019-03-25 | Paper |
| Duality theory and skeleta for semisimple MV-algebras | 2018-12-21 | Paper |
| Algebraic geometry for \(\ell \)-groups | 2018-10-30 | Paper |
| The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs | 2018-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4594720 | 2017-11-24 | Paper |
| Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions | 2017-08-09 | Paper |
| Relative subalgebras of MV-algebras | 2017-06-22 | Paper |
| On free MV algebras and a problem of Tarski | 2016-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2811494 | 2016-06-10 | Paper |
| On the Modal μ-Calculus Over Finite Symmetric Graphs | 2015-11-26 | Paper |
| On generalizing the Nullstellensatz for MV algebras | 2015-07-15 | Paper |
| ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS | 2015-03-06 | Paper |
| Bisimulation quantifiers and uniform interpolation for guarded first order logic | 2014-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5420064 | 2014-06-11 | Paper |
| An algebraic characterization of o-minimal and weakly o-minimal MV-chains | 2014-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863913 | 2013-12-04 | Paper |
| On Modal μ-Calculus in S5 and Applications | 2013-07-30 | Paper |
| On modal -calculus over reflexive symmetric graphs | 2013-06-27 | Paper |
| Hyperfinite MV-algebras | 2013-06-24 | Paper |
| Monadic Second Order Logic And Its Fragments | 2013-05-24 | Paper |
| Algebraically closed MV-algebras and their sheaf representation | 2013-02-19 | Paper |
| ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH | 2012-08-30 | Paper |
| On Vaught’s Conjecture and finitely valued MV algebras | 2012-06-01 | Paper |
| On a positive set theory with inequality | 2011-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3002404 | 2011-05-20 | Paper |
| Deciding the existence of uniform interpolants over transitive models | 2011-03-02 | Paper |
| On the \(\mu \)-calculus over transitive and finite transitive frames | 2010-11-19 | Paper |
| Representation of MV-algebras by regular ultrapowers of \([0,1\)] | 2010-05-17 | Paper |
| μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ | 2009-11-30 | Paper |
| On fixpoint arithmetic and infinite time Turing machines | 2009-07-21 | Paper |
| A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames | 2008-08-15 | Paper |
| A positive set theory with equality revisited | 2008-04-10 | Paper |
| The variable hierarchy of the \(\mu\)-calculus is strict | 2007-08-23 | Paper |
| On modal \(\mu\)-calculus with explicit interpolants | 2006-10-10 | Paper |
| STACS 2005 | 2005-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5317667 | 2005-09-19 | Paper |
| An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4825712 | 2004-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818826 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411834 | 2003-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762525 | 2002-01-09 | Paper |
| A basic theory with predicates | 2002-01-01 | Paper |
| Mu-depth 3 is more than 2: a game-theoretic proof | 2001-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944337 | 2000-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941910 | 2000-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944346 | 2000-07-31 | Paper |
| A nontrivial model of Weydert's \(SF_3\) minus the Leibniz rules | 1999-03-15 | Paper |
| Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics | 1996-03-17 | Paper |
| Introducing basic theories for the foundations of mathematics | 1994-10-20 | Paper |
| An introduction of variables into the frame of the basic theories for the foundations of mathematics | 1994-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3135695 | 1993-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3360847 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3487326 | 1989-01-01 | Paper |
