Switch to: References

Add citations

You must login to add citations.
  1. Kurepa trees and spectra of $${mathcal {L}}{omega 1,omega }$$ L ω 1, ω -sentences.Dima Sinapova & Ioannis Souldatos - 2020 - Archive for Mathematical Logic 59 (7-8):939-956.
    We use set-theoretic tools to make a model-theoretic contribution. In particular, we construct a single \-sentence \ that codes Kurepa trees to prove the following statements: The spectrum of \ is consistently equal to \ and also consistently equal to \\), where \ is weakly inaccessible.The amalgamation spectrum of \ is consistently equal to \ and \\), where again \ is weakly inaccessible. This is the first example of an \-sentence whose spectrum and amalgamation spectrum are consistently both right-open and (...)
    No categories
    Direct download (2 more)  
    Export citation