The following pages link to (Q3773876):
Displaying 50 items.
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- Preface to the special volume (Q534064) (← links)
- The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
- The provably terminating operations of the subsystem PETJ of explicit mathematics (Q639690) (← links)
- Extraction of expansion trees (Q670704) (← links)
- Tarskian and Kripkean truth (Q676185) (← links)
- A proof-theoretic characterization of the basic feasible functionals (Q706620) (← links)
- Singularities, expanders and topology of maps. II: From combinatorics to topology via algebraic isoperimetry (Q708824) (← links)
- CERES in higher-order logic (Q716500) (← links)
- Completeness of the primitive recursive \(\omega \)-rule (Q781515) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator) (Q913788) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- CERES: An analysis of Fürstenberg's proof of the infinity of primes (Q944367) (← links)
- On the form of witness terms (Q982183) (← links)
- Common knowledge does not have the Beth property (Q987837) (← links)
- Abstract deduction and inferential models for type theory (Q988551) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- Full operational set theory with unbounded existential quantification and power set (Q1024551) (← links)
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- Normal functors, power series and \(\lambda\)-calculus (Q1103618) (← links)
- The metamathematics of scattered linear orderings (Q1106846) (← links)
- Cut-elimination and interpolation for \(\Omega\)-logic (Q1114684) (← links)
- Strong normalization theorem for a constructive arithmetic with definition by transfinite recursion and bar induction (Q1130232) (← links)
- Bounded arithmetic for NC, ALogTIME, L and NL (Q1192345) (← links)
- Proof systems for infinite behaviours (Q1193598) (← links)
- Existential instantiation and normalization in sequent natural deduction (Q1198828) (← links)
- 2-sequent calculus: A proof theory of modalities (Q1207545) (← links)
- Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi (Q1208732) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy (Q1262857) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Gentzen-type systems, resolution and tableaux (Q1311413) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
- Reverse mathematics and ordinal exponentiation (Q1315456) (← links)
- A note on the \(\omega\)-incompleteness formalization (Q1337603) (← links)
- A finite analog to the Löwenheim-Skolem theorem (Q1338480) (← links)
- On schematological equivalence of partially interpreted dataflow networks (Q1373139) (← links)
- On the strong normalisation of intuitionistic natural deduction with permutation-conversions (Q1400711) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Theories with self-application and computational complexity. (Q1427856) (← links)
- Derivatives of normal functions and \(\omega \)-models (Q1661685) (← links)
- A cut-free calculus for second-order Gödel logic (Q1677040) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- Paraconsistent informational logic (Q1775866) (← links)
