Seven trees in one

DOI10.1016/0022-4049(95)00098-HzbMath0846.18002arXivmath/9405205MaRDI QIDQ1901018

Andreas Blass

Publication date: 22 September 1996

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9405205

zbMATH Keywords

polynomialsprovabilitysemiringsintuitionistic set theoryfinite binary treesobjective number theoryseven-tuples of treesvery explicit bijection

Mathematics Subject Classification ID

Trees (05C05) Combinatorial identities, bijective combinatorics (05A19) Topoi (18B25) Semirings (16Y60) Other constructive mathematics (03F65)

Related Items (11)

An objective representation of the Gaussian integers ⋮ On analytic groupoid cardinality ⋮ On the generic solution to \(P(X)\cong X\) in distributive categories ⋮ Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category ⋮ GRÖBNER-SHIRSHOV BASIS FOR MONOMIALS SEMIRING OVER D-A RINGS ⋮ A general theory of self-similarity ⋮ Gröbner-Shirshov bases for semirings. ⋮ Left and right adjoint operations on spaces and data types ⋮ The compositional construction of Markov processes II ⋮ Objects of categories as complex numbers ⋮ Computing with Semirings and Weak Rig Groupoids

Cites Work

• Classifying topoi and finite forcing
• Sheaf models for set theory
• Forcing and classifying topoi
• Method for constructing bijections for classical partition identities
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Seven trees in one