subtheory

Kleene and Vesley's [1965] gives a careful axiomatic treatment of intuitionistic analysis, a proof of its consistency relative to a classically correct subtheory, and an extended application to Brouwer's theory of real number generators.

Intuitionistic Logic Moschovakis, Joan 2007

If the theory PA plus all T-sentences proved an arithmetical sentence φ not provable in PA, then a finite subtheory (with finitely many T-sentences) proves φ.

Axiomatic Theories of Truth Halbach, Volker 2007

But the finite subtheory can be relatively interpreted (translated) in PA by interpreting T by an appropriate partial truth predicate; the arithmetical vocabulary is not affected by this interpretation.

Axiomatic Theories of Truth Halbach, Volker 2007

But without any evidence this is pure speculation on my part I might be inclined to think a subtheory might be true:

No, Porn Doesn’t Prevent Rape 2006

Now consider a theory T which formalizes ideal mathematics and its subtheory S which formalizes real mathematics.

Hilbert's Program Zach, Richard 2003

However, the direct relationships support the basic In addition, the longitudinal approach allowed for previous needs subtheory [13] of self-determination theory, which levels of study variables to be controlled.

Recently Uploaded Slideshows 2009

However, the direct relationships support the basic In addition, the longitudinal approach allowed for previous needs subtheory [13] of self-determination theory, which levels of study variables to be controlled.

Recently Uploaded Slideshows 2009