\(\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

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