Results 1 -
2 of
2
CONCATENATION AS A BASIS FOR Q AND THE INTUITIONISTIC VARIANT OF NELSON’S CLASSIC RESULT
, 2008
"... ..."
VAUGHT’S THEOREM ON AXIOMATIZABILITY BY A SCHEME
"... Abstract. In this paper we give an improvement of Vaught’s Theorem on Axiomatizability by a Scheme. We show that any RE theory that directly interprets the theory of non-surjective unordered pairing, where pairing need not be functional, is axiomatizable by a scheme. 1. ..."
Abstract
- Add to MetaCart
Abstract. In this paper we give an improvement of Vaught’s Theorem on Axiomatizability by a Scheme. We show that any RE theory that directly interprets the theory of non-surjective unordered pairing, where pairing need not be functional, is axiomatizable by a scheme. 1.
