Rungs and trees

DOI10.2307/2273478zbMath0567.03026OpenAlexW2073961664MaRDI QIDQ3682482

M. Masseron

Publication date: 1983

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

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

zbMATH Keywords

ordinal analysishomogeneous treesladderscategory of ordinalsJervell's treelogic with beta- rulepi-one-two-logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Introduction to \(\Pi^1_2\)-logic

Cites Work

• Π12-logic, Part 1: Dilators

This page was built for publication: Rungs and trees