56 citations · 94 across the 65 of their papers we have counts for
70 papers
Is addition definable from multiplication and successor?
Friedrich Wehrung
A map between (associative, unital, but not necessarily commutative) rings is a\emph{brachymorphism} if and whenever . W…
Monotone-Cevian and finitely separable lattices
Miroslav Ploscica, Friedrich Wehrung
A distributive lattice with zero is completely normal if its prime ideals form a root system under set inclusion.Every such lattice admits a binary operation (x,y) \mapsto x-y sati…
A solution to the MV-spectrum Problem in size aleph one
Miroslav Ploscica, Friedrich Wehrung
Denote by Id the lattice of all principal -ideals of an Abelian -group . Our main result is the following. Theorem. For every countable Abelian -group $G…
Spectral subspaces of spectra of Abelian lattice-ordered groups in size aleph one
Miroslav Ploscica, Friedrich Wehrung
It is well known that the lattice Idc G of all principal {\ell}-ideals of any Abelian {\ell}-group G is a completely normal distributive 0-lattice, and that not every completely no…
From non-commutative diagrams to anti-elementary classes
Friedrich Wehrung
Anti-elementarity is a strong way of ensuring that a class of structures , in a given first-order language, is not closed under elementary equivalence with respect to any infinitar…
Cevian operations on distributive lattices
Friedrich Wehrung
We construct a completely normal bounded distributive lattice D in which for every pair (a, b) of elements, the set {x D | a b x} has a countable coinitial subse…