In [13], Kleene formulated a truth-notion called "readability" for formulas of intuitionistic number theory(1). David Nelson(2) showed that every number-theoretic formula deducible in the intuitionistic predicate calculus(3) (stated by means of schemata, without proposition or predicate variables) from realizable number-theoretic formulas is realizable. In particular, then, every formula in the...

Henkin, Monk and Tarski gave a compositional semantics for first-order predicate logic. We extend this work by including function symbols in the language and by giving the denotation of the atomic formula as a composition of the denotations of its predicate symbol and of its tuple of arguments. In addition we give the denotation of a term as a composition of the denotations of its function symb...

Abstract This paper focuses on the categoricity of arithmetic and determinacy arithmetical truth. Several ‘internal’ results have been discussed in recent literature. Against background philosophical position called internalism , we propose investigate truth-theoretic versions internal based a primitive truth predicate. We argue for compatibility predicate with provide novel argument (and proof...