Large discrete parts of the E-tree

DOI10.2307/2274587zbMath0658.03036OpenAlexW1982611286MaRDI QIDQ3807196

Harold Simmons

Publication date: 1988

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

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

zbMATH Keywords

Aronszajn treeBaire treetrees in the lattice of sentences modulo Peano arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Unnamed Item
• Self-reference and modal logic
• Branches of the E -Tree which are not Isomorphic

Related Items (1)

Filters on computable posets

This page was built for publication: Large discrete parts of the E-tree