Find link

language:

Find link is a tool written by Edward Betts.

searching for Bounded arithmetic 3 found (12 total)

Switching lemma (820 words) [view diff] exact match in snippet view article find links to article

equivalence between second order bounded domain bounded arithmetic and first order bounded arithmetic", Arithmetic, Proof Theory and Computational Complexity

Mathematical induction (6,859 words) [view diff] case mismatch in snippet view article find links to article

Mathematical Logic. Dover. p. 41. ISBN 0486492370. Buss, Samuel (1986). Bounded Arithmetic. Naples: Bibliopolis. "Proof:Strong induction is equivalent to weak

Ordinal analysis (4,347 words) [view diff] case mismatch in snippet view article find links to article

Ordinal Analysis. Accessed 2021 September 29. Krajicek, Jan (1995). Bounded Arithmetic, Propositional Logic and Complexity Theory. Cambridge University Press