\(\Pi^ 1_ 1\)-complete families of elementary sequences

DOI10.1016/0168-0072(88)90028-0zbMath0646.03030OpenAlexW2060736711MaRDI QIDQ1103613

Patrick Dehornoy

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1016/0168-0072(88)90028-0

zbMATH Keywords

Baire spacemodels of set theorydirect limitswell-foundednessprojective hierarchyelementary embeddings of models of ZF

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (9)

Infinite products in monoids ⋮ Algebraic Properties of the Shift Mapping ⋮ A Canonical Ordering for Free Self-Distributive Systems ⋮ Laver's results and low-dimensional topology ⋮ Free distributive groupoids ⋮ Left-Garside categories, self-distributivity, and braids ⋮ Some aspects of the SD-world ⋮ Another Use of Set Theory ⋮ A coding of the countable linear orderings

Cites Work

• Turing complexity of the ordinals
• Infinite products in monoids
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\Pi^ 1_ 1\)-complete families of elementary sequences