Cut-Elimination for SBL (Q5013907)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7438599

Language	Label	Description	Also known as
English	Cut-Elimination for SBL	scientific article; zbMATH DE number 7438599

Statements

scholarly article

0 references

Cut-Elimination for SBL (English)

0 references

0 references

The Legacy of Kurt Schütte

0 references

publication date

3 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1606.04194

0 references

MaRDI profile type

MaRDI publication profile

0 references

Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies

0 references

Proof theory. 2nd ed

0 references

On the fundamental conjecture of GLC, VI

0 references

On the fundamental conjecture of \(GLC\). V

0 references

A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic

0 references

0 references

Syntactical and semantical properties of simple type theory

0 references

0 references

Lattice-valued representation of the cut-elimination theorem

0 references

0 references

A well-ordering proof for Feferman's theoryT 0

0 references

0 references

0 references

0 references

Explaining the Gentzen-Takeuti reduction steps: A second-order system

0 references

0 references

0 references

Proof theory for theories of ordinals. I: Recursively Mahlo ordinals

0 references

Ordinal diagrams for recursively Mahlo universes

0 references

0 references

Identifiers

10.1007/978-3-030-49424-7_15

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5013907

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5013907&oldid=36745601"