scientific article; zbMATH DE number 1144041
From MaRDI portal
Publication:4384146
consistencyinterpretabilitybounded arithmeticmodel theoryconservativityrecursion theoryincompletenessprovabilityself-referenceindicatorsfragments of arithmeticdefinable cutsreflexive theoriescombinatorics in fragmentsfoundations of arithmetic of natural numberspartial truth definitionswitnessing functions
Cited in
(79)- Gödel's second incompleteness theorem: how it is derived and what it delivers
- A step towards absolute versions of metamathematical results
- Indiscernibles and satisfaction classes in arithmetic
- THE POTENTIAL IN FREGE’S THEOREM
- Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension
- Varieties of truth definitions
- (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE
- An inside/outside Ramsey theorem and recursion theory
- Complexity barriers as independence
- A note on fragments of uniform reflection in second order arithmetic
- ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS
- Erdős-Moser and \(I \Sigma_2\)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
- The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem
- Primitive recursive reverse mathematics
- The atomic model theorem and type omitting
- A pluralist approach to the formalisation of mathematics
- Computability issues for adaptive logics in multi-consequence standard format
- Strict finitism, feasibility, and the sorites
- On constructivity and the Rosser property: a closer look at some Gödelean proofs
- Herbrand consistency of some finite fragments of bounded arithmetical theories
- Syntactical truth predicates for second order arithmetic
- Clause set cycles and induction
- A note on uniform density in weak arithmetical theories
- Gödelizing the Yablo sequence
- Topological models of arithmetic
- The paradox of the knower revisited
- Randomness notions and reverse mathematics
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense
- The monotone completeness theorem in constructive reverse mathematics
- The strength of abstraction with predicative comprehension
- Realizability interpretation of PA by iterated limiting PCA
- Internal categoricity, truth and determinacy
- Equivalences for truth predicates
- On elementary theories of ordinal notation systems based on reflection principles
- A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
- Term extraction and Ramsey's theorem for pairs
- Proof theory in philosophy of mathematics
- A remark on pseudo proof systems and hard instances of the satisfiability problem
- Finite sets and infinite sets in weak intuitionistic arithmetic
- \(\mathsf{WKL}_0\) and induction principles in model theory
- The implicit commitment of arithmetical theories and its semantic core
- Logicism, interpretability, and knowledge of arithmetic
- On the value group of a model of Peano arithmetic
- Reflection ranks and ordinal analysis
- Polynomially bounded recursive realizability
- A combinatorial bound for a restricted form of the termination theorem
- VON NEUMANN’S CONSISTENCY PROOF
- Bounded finite set theory
- On the logical strengths of partial solutions to mathematical problems
- The strength of the SCT criterion
- FINITIST AXIOMATIC TRUTH
- Combinatorial principles weaker than Ramsey's Theorem for pairs
- Herbrand consistency of some arithmetical theories
- On principles between \(\Sigma_1\)- and \(\Sigma_2\)-induction, and monotone enumerations
- Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction
- Random reals, the rainbow Ramsey theorem, and arithmetic conservation
- Principles for object-linguistic consequence: from logical to irreflexive
- Σ_{𝑛}-bounding and Δ_{𝑛}-induction
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle
- Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
- Honest elementary degrees and degrees of relative provability without the cupping property
- Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts
- Reverse mathematical bounds for the termination theorem
- On two problems concerning end extensions
- The prehistory of the subsystems of second-order arithmetic
- Real closures of models of weak arithmetic
- Chain conditions in computable rings
- The epsilon-reconstruction of theories and scientific structuralism
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- On the role of the collection principle for \(\Sigma ^0_2\)-formulas in second-order reverse mathematics
- EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS
- More infinity for a better finitism
- Transfer and a supremum principle for ERNA
- Interpretability suprema in Peano arithmetic
- The versatility of universality in \textit{Principia mathematica}
- Primitive recursion and the chain antichain principle
- Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
- Notes on bounded induction for the compositional truth predicate
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 Q4384146)
