Abstract:We show that the classical interpretations of Tarski's inductive definitions actually allow us to define the satisfaction and truth of the quantified formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two essentially different ways: (a) in terms of algorithmic verifiabilty; and (b) in terms of algorithmic computability. We show that the classical Standard interpretation I_PA(N, Standard) of PA essentially defines the satisfaction and truth of the formulas of the first-order Peano Arithmetic PA in terms of algorithmic verifiability. It is accepted that this classical interpretation---in terms of algorithmic verifiabilty---cannot lay claim to be finitary; it does not lead to a finitary justification of the Axiom Schema of Finite Induction of PA from which we may conclude---in an intuitionistically unobjectionable manner---that PA is consistent. We now show that the PA-axioms---including the Axiom Schema of Finite Induction---are, however, algorithmically computable finitarily as satisfied / true under the Standard interpretation I_PA(N, Standard) of PA; and that the PA rules of inference do preserve algorithmically computable satisfiability / truth finitarily under the Standard interpretation I_PA(N, Standard). We conclude that the algorithmically computable PA-formulas can provide a finitary interpretation I_PA(N, Algorithmic) of PA from which we may classically conclude that PA is consistent in an intuitionistically unobjectionable manner. We define this interpretation, and show that if the associated logic is interpreted finitarily then (i) PA is categorical and (ii) Goedel's Theorem VI holds vacuously in PA since PA is consistent but not omega-consistent.

Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic

On the significance of parameters and the projective level in the Choice and Comprehension axioms

Comparing Hume's Principle, Basic Law V and Peano Arithmetic

The RNA gene information: retroelement-microRNA entangling as the RNA quantum code.

Some consequences of interpreting the associated logic of the first-order Peano Arithmetic PA finitarily

Some Infinitary Paradoxes and Undecidable Sentences in Peano Arithmetic

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I

A common Misconception about the Categorical Arithmetic

PA is instantiationally complete, but algorithmically incomplete: An alternative interpretation of Goedelian incompleteness under Church's Thesis that links formal logic and computability

Indiscernibles and satisfaction classes in arithmetic

Models with second order properties, V: A General principle

$(\infty,1)$-Categorical Comprehension Schemes

The Parameterized Space Complexity of Model-Checking Bounded Variable First-Order Logic

Epistemological Consequences of the Incompleteness Theorems

Parameterised Complexity of Propositional Inclusion and Independence Logic

A 2-categorical analysis of context comprehension

Existential Second-Order Logic Over Graphs: Parameterized Complexity

Quantifiers closed under partial polymorphisms

Proof nets and the instantiation overflow property

A parametrised axiomatization for a large number of restricted second-order logics

Second-Order Abstraction Before and After Russell’s Paradox