Functoroids and ptykoids

DOI10.1007/BF02390457zbMATH Open0828.03029MaRDI QIDQ1345902FDOQ1345902

Authors: J. R. G. Catlow 

Publication date: 18 December 1995

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

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

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)

Cites Work

• Proof theory
• Title not available (Why is that?)
• A proof-theoretical analysis of ptykes

Cited In (5)

• Embeddability of ptykes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)