Publication:3967526
From MaRDI portal
zbMath0502.03023MaRDI QIDQ3967526
Publication date: 1982
numeration; positive equivalence relation; precomplete and uniformly m- complete positive equivalence relations; Putnam-Smullyan theorem
03D45: Theory of numerations, effectively presented structures
Related Items