Some properties of ordinal diagrams (Q4120569)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 3545637

Language	Label	Description	Also known as
English	Some properties of ordinal diagrams	scientific article; zbMATH DE number 3545637

Statements

scholarly article

0 references

Some properties of ordinal diagrams (English)

0 references

0 references

Nagoya Mathematical Journal

0 references

publication date

1978

0 references

MaRDI profile type

MaRDI publication profile

0 references

An accessibility proof of ordinal diagrams

0 references

0 references

Ordinal diagrams

0 references

Consistency proofs of subsystems of classical analysis

0 references

Ordinal diagrams. II

0 references

Cut elimination theorem for second order arithmetic with the \(\Pi^ 1_ 1\)-comprehension axiom and the \(\omega\)-rule

0 references

Identifiers

zbMATH Open document ID

0 references

10.1017/S0027763000021838

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4120569

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