We describe an explicit construction of algebraic models for theories with non-standard elements either with classical or constructive logic. The corresponding truthvalue algebra in our construction is a complete algebra of subsets of some concrete decidable set. This way we get a quite finitistic notion of true which reflects a notion of the deducibility of a given theory. It enables us to useconstructive, proof-theoretical methods for theories with non-standard elements. It is especially useful in the case of theories with constructive (...) logic where algorithmic properties are essential. (shrink)