scientific article; zbMATH DE number 3999883
From MaRDI portal
Publication:4726219
Recommendations
Cited in
(75)- The formalization of interpretability
- A note on finiteness in the predicative foundations of arithmetic
- Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity
- Bounded arithmetic, proof complexity and two papers of Parikh
- Hereditarily-finite sets, data bases and polynomial-time computability
- Taking formalism seriously
- A minimal predicative set theory
- Predicative foundations of arithmetic
- Toward the limits of the Tennenbaum phenomenon
- On parallel hierarchies and R_k^i
- To be or not to be constructive, that is not the question
- On \(\mathsf{Q}\)
- The logical strength of compositional principles
- \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)
- Automated higher-order complexity analysis
- On the untenability of Nelson's predicativism
- The implicit commitment of arithmetical theories and its semantic core
- Predicativity and constructive mathematics
- Iterated multiplication in VTC^0
- The scope of Gödel's first incompleteness theorem
- The predicative Frege hierarchy
- A generalization of the second incompleteness theorem and some exceptions to it
- Inductive definitions over a predicative arithmetic
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles
- Sharpened lower bounds for cut elimination
- Logicism, interpretability, and knowledge of arithmetic
- Groundwork for weak analysis
- Error and predicativity
- Weyl and Intuitionistic Infinitesimals
- Objectivity and truth in mathematics: a sober non-Platonist perspective
- On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
- Predator arithmetic
- scientific article; zbMATH DE number 47249 (Why is no real title available?)
- A small reflection principle for bounded arithmetic
- Weak theories of concatenation and arithmetic
- A new “feasible” arithmetic
- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
- Strict finitism, feasibility, and the sorites
- Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality
- Cycling in proofs and feasibility
- Game with numbers and axioms: Peano-Dedekind systems
- Finding the limit of incompleteness. I
- Sets and supersets
- The interpretation existence lemma
- Tiered arithmetics
- Predicativity and Feferman
- On the mathematical and foundational significance of the uncountable
- Predicative Frege arithmetic and `everyday' mathematics
- Burgess’PVis Robinson’sQ
- Strong logics of first and second order
- An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
- Mathematical induction in ramified type theory
- PREDICATIVISM AS A FORM OF POTENTIALISM
- Predicative logic and formal arithmetic
- SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
- On feasible numbers
- On parallel hierarchies and R ki
- Intrinsic theories and computational complexity
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
- A weak theory of building blocks
- On elementary theories of weighted and labelled trees
- A theory of implicit commitment
- Combinatorial-analytical method for wave equation with abrupt parameter changes
- Functional interpretations of feasibly constructive arithmetic
- When bi-interpretability implies synonymy
- Class theory in HYPE
- Mathematical developments of the incompleteness theorems
- Intuitionistic sets and numbers: small set theory and Heyting arithmetic
- A weak first-order theory of sequences
- Intuition and observation
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
- Passive induction and a solution to a Paris-Wilkie open question
- Cobham recursive set functions
- Taking the Pirahã seriously
- Pairs, sets and sequences in first-order theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4726219)
