Embeddability of ptykes

DOI10.2307/2275298zbMath0777.03015OpenAlexW2050662284MaRDI QIDQ4032649

Jean-Yves Girard, Dag Normann

Publication date: 1 April 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275298

zbMATH Keywords

definabilityfunctorialityweak morphismdilatorsamalgamation of inductive systems of ptykesembeddings of ptykes

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (3)

Boundedness theorems for flowers and sharps ⋮ A strong boundedness theorem for dilators ⋮ WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY

Cites Work

• Set recursion and \(\Pi ^ 1_ 2\)-logic
• Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)
• Boundedness theorems for dilators and ptykes
• A strong boundedness theorem for dilators
• Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)
• Π12-logic, Part 1: Dilators

This page was built for publication: Embeddability of ptykes