scientific article; zbMATH DE number 227056

MaRDI QIDQ5286672zbMATH OpenFDO

Authors Petr Hájek, Pavel Pudlák

Publication date 6 July 1993

Recommendations

Metamathematics of first-order arithmetic
scientific article; zbMATH DE number 1215494
scientific article; zbMATH DE number 51556
A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski

Cited in

(only showing first 100 items - show all)

Implicit definability of subfields
Arithmetical interpretations and Kripke frames of predicate modal logic of provability
Fragments of Heyting arithmetic
On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
On the strength of Ramsey's theorem without \(\Sigma _{1}\)-induction
Triangular norm based predicate fuzzy logics
The structure of models of Peano arithmetic
On \(\mathsf{Q}\)
Formalizing non-standard arguments in second-order arithmetic
Positive provability logic for uniform reflection principles
The strength of extensionality. II: Weak weak set theories without infinity
Classifying the Provably Total Functions of PA
Well-behaved principles alternative to bounded induction
Predicative logic and formal arithmetic
Update procedures and the 1-consistency of arithmetic
Weak theories of concatenation and arithmetic
Theories of initial segments of standard models of arithmetics and their complete extensions
On the possibilistic approach to linear regression models involving uncertain, indeterminate or interval data
Arithmetic on semigroups
Elementary patterns of resemblance
The proof-theoretic strength of Ramsey's theorem for pairs and two colors
Theories with self-application and computational complexity.
Induction rules, reflection principles, and provably recursive functions
Graph properties checkable in linear time in the number of vertices
On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
Notes on polynomially bounded arithmetic
Fundamental notions of analysis in subsystems of second-order arithmetic
scientific article; zbMATH DE number 51556 (Why is no real title available?)
Saturation and Σ₂-transfer for ERNA
Relative Truth Definability of Axiomatic Truth Theories
The canonical Ramsey theorem and computability theory
Axiomatic truth, syntax and metatheoretic reasoning
On predicate provability logics and binumerations of fragments of Peano arithmetic
Bounded arithmetic, proof complexity and two papers of Parikh
The expressive power of truth
Undecidability in diagonalizable algebras
Bootstrapping. I
Fragment of Nonstandard Analysis with a Finitary Consistency Proof
The strength of sharply bounded induction requires MSP
Independence results for variants of sharply bounded induction
Burgess’PVis Robinson’sQ
Effectively inseparable Boolean algebras in lattices of sentences
Saturated models of universal theories
Incompleteness in the finite domain
Nonerasing, counting, and majority over the linear time hierarchy
On the computational complexity of reachability in 2D binary images and some basic problems of 2D digital topology
Reverse mathematics: the playground of logic
The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
Parameter free induction and provably total computable functions
A finite model-theoretical proof of a property of bounded query classes within PH
A new proof of Ajtai's completeness theorem for nonstandard finite structures
Rules and arithmetics
Transductions in arithmetic
Introduction to clarithmetic. I
The Complexity of Propositional Proofs
On the strength of Ramsey's theorem for pairs
Consistency and the theory of truth
On the jumps of the degrees below a recursively enumerable degree
Other Proofs of Old Results
Approximate counting in bounded arithmetic
An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle
Notes on the computational aspects of Kripke's theory of truth
Proof lengths for instances of the Paris-Harrington principle
Construction of models of bounded arithmetic by restricted reduced powers
The predicative Frege hierarchy
Extensions of the Finitist Point of View
A note on typed truth and consistency assertions
Deflationary truth and the ontology of expressions
Induction rules in bounded arithmetic
A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications
On the uniform computational content of Ramsey's theorem
Transfinite induction within Peano arithmetic
Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
A new proof of the weak pigeonhole principle
The omega-rule interpretation of transfinite provability logic
Categorical characterizations of the natural numbers require primitive recursion
The incompleteness theorems after 70 years
Theories of arithmetics in finite models
Minimal truth and interpretability
Linear extensions of partial orders and reverse mathematics
Ordinal notations and well-orderings in bounded arithmetic
On a question of Krajewski's
Friedman-reflexivity
On Brouwer's continuity principle
Separations of first and second order theories in bounded arithmetic
Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms
Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
Reflection calculus and conservativity spectra
Dickson's lemma and weak Ramsey theory
Extension and interpretability
Self-reference in arithmetic. II
Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
Fixed points of self-embeddings of models of arithmetic
The equivalence of theories that characterize ALogTime
Universal Rosser predicates
Weak arithmetics and Kripke models
End extensions of models of linearly bounded arithmetic
A small reflection principle for bounded arithmetic
Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs

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 Q5286672)