Functoroids and ptykoids

DOI10.1007/BF02390457MaRDI QIDQ1345902zbMATH OpenFDO

Authors J. R. G. Catlow

Publication date 18 December 1995

Published in Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

first-order analogues of ptykesindependent statementsptykoid

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) First-order arithmetic and fragments (03F30)

Recommendations

• A proof-theoretical analysis of ptykes
• Embeddability of ptykes
• scientific article; zbMATH DE number 4037857
• Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)
• scientific article; zbMATH DE number 1163982
• Introduction to \(\Pi^1_2\)-logic
• scientific article; zbMATH DE number 7324257
• Publication:3027001
• Set recursion and \(\Pi ^ 1_ 2\)-logic
• scientific article; zbMATH DE number 1215495

Cites work

• scientific article; zbMATH DE number 4033742 (Why is no real title available?)
• A proof-theoretical analysis of ptykes
• Proof theory

Cited in

(5)

• Embeddability of ptykes
• scientific article; zbMATH DE number 3914319 (Why is no real title available?)
• scientific article; zbMATH DE number 4037857 (Why is no real title available?)
• scientific article; zbMATH DE number 5946294 (Why is no real title available?)
• Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)

This page was built for publication: Functoroids and ptykoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1345902)