Search results
From MaRDI portal
- WITNESSING IN FRAGMENTS OF BOUNDED ARITHMETIC 2010-08-26 Paper Pool resolution is NP-hard to recognize 2009-12-14 Paper Resolution Trees with Lemmas: Resolution...10 bytes (17 words) - 13:53, 7 December 2023
- hierarchy in models for fragments of bounded arithmetic 2007-02-14 Paper Well-behaved principles alternative to bounded induction 2004-10-27 Paper An application...10 bytes (14 words) - 00:55, 25 September 2023
- Presburger arithmetic 2020-05-06 Paper On the proof complexity of logics of bounded branching 2020-04-23 Paper Induction rules in bounded arithmetic 2020-04-01...10 bytes (15 words) - 12:36, 28 January 2024
- Paper Existentially Closed Models and Conservation Results in Bounded Arithmetic 2009-03-02 Paper On Rules and Parameter Free Systems in Bounded Arithmetic...10 bytes (17 words) - 18:13, 11 December 2023
- and Conservation Results in Bounded Arithmetic 2009-03-02 Paper On Rules and Parameter Free Systems in Bounded Arithmetic 2007-11-13 Paper A note on Σ1-maximal...10 bytes (17 words) - 11:16, 7 October 2023
- Paper Existentially Closed Models and Conservation Results in Bounded Arithmetic 2009-03-02 Paper On Rules and Parameter Free Systems in Bounded Arithmetic...10 bytes (15 words) - 11:16, 7 October 2023
- control model with birth pulse and residual and delay effects of pesticides 2019-04-29 Paper The stochastic Korteweg-de Vries equation on a bounded domain 2019-04-29...10 bytes (12 words) - 20:06, 24 September 2023
- conditions with invexity 1998-11-03 Paper Exact scalar field cosmology with causal viscous fluid 1998-11-03 Paper Dynamic programming with homogeneous...10 bytes (12 words) - 10:19, 24 September 2023
- of models of bounded $E\sb 1$-induction 👍 👎 Bounded existential induction 👍 👎 An Effective Conservation Result for Nonstandard Arithmetic 👍 👎 Tennenbaum's...15 bytes (304 words) - 15:22, 31 January 2024
- strength of sharply bounded induction requires MSP Bootstrapping. I On the complexity of models of arithmetic Bounded existential induction A recursive nonstandard...15 bytes (297 words) - 15:31, 1 February 2024
- of theories Bounded existential induction Pell equations and exponentiation in fragments of arithmetic Parameter-Free Universal Induction Regularity in...15 bytes (309 words) - 06:33, 8 February 2024
- Incompleteness Theorems and Models of Arithmetic Bounded existential induction Parameter-Free Universal Induction Forcing, arithmetic, division rings Cited In (10)...15 bytes (204 words) - 03:13, 31 January 2024
- validity is nonarithmetic On the complexity of models of arithmetic Bounded existential induction Incompleteness in intuitionistic metamathematics First...15 bytes (326 words) - 17:10, 13 February 2025
- Diophantine induction On the complexity of models of arithmetic Bounded existential induction Local behaviour of the Chebyshev theorem in models of I⊿0...15 bytes (199 words) - 09:26, 30 January 2024
- Lower Bound for the Latest Deterministic Strategy Iteration Algorithms NP search problems in low fragments of bounded arithmetic Bounded existential induction...15 bytes (444 words) - 15:44, 8 February 2024
- Diophantine induction Existential Definability in Arithmetic Bounded existential induction Local behaviour of the Chebyshev theorem in models of I⊿0 Provability...15 bytes (288 words) - 14:45, 1 February 2024
- that?) On the complexity of models of arithmetic Bounded existential induction Some problem in elementary arithmetics Cited In (7) Cupping the Recursively...15 bytes (174 words) - 13:23, 31 January 2024
- into Peano arithmetic The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) Strong normalization theorem for a constructive arithmetic with definition...15 bytes (885 words) - 09:22, 2 February 2024
- second-order bounded arithmetic Glivenko sequent classes and constructive cut elimination in geometric logics TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE...15 bytes (906 words) - 01:10, 31 January 2024
- combinatorics in bounded induction Real closures of models of weak arithmetic Diophantine induction Hilbert's tenth problem for weak theories of arithmetic Overspill...15 bytes (305 words) - 12:28, 5 February 2024
