Three red herrings around Vaught’s conjecture

DOI10.1090/tran/6572OpenAlexW2199810552WikidataQ123122096 ScholiaQ123122096MaRDI QIDQ2790604

John T. Baldwin, Martin Koerwien, Michael Chris Laskowski, Sy-David Friedman

Publication date: 7 March 2016

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d921aae22e68dc5a6f8064af13891059afa58d07

Mathematics Subject Classification ID

Other infinitary logic (03C75) Other aspects of forcing and Boolean-valued models (03E40) Set-theoretic model theory (03C55) Model theory of denumerable and separable structures (03C15)

Related Items (12)

The joint embedding property and maximal models ⋮ Hanf numbers for extendibility and related phenomena ⋮ AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS ⋮ Forcing a countable structure to belong to the ground model ⋮ Complete Lω1,ω‐sentences with maximal models in multiple cardinalities ⋮ Characterizing the existence of a Borel complete expansion ⋮ Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension ⋮ BOREL FUNCTORS AND INFINITARY INTERPRETATIONS ⋮ DISJOINT AMALGAMATION IN LOCALLY FINITE AEC ⋮ COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS ⋮ Scattered sentences have few separable randomizations ⋮ VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear orderings and powers of characterizable cardinals
• A note on counterexamples to the Vaught conjecture
• The Vaught conjecture: do uncountable models count?
• Set theory. An introduction to independence proofs
• Classification theory and the number of non-isomorphic models.
• Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
• Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form \(X/G\) where \(G\) acts on a Polish space \(X\)
• The syntax and semantics of infinitary languages
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS
• A complete L_ω1ω-sentence characterizing ℵ₁
• A Tree Argument in Infinitary Model Theory
• Prime and atomic models
• On the existence of atomic models
• KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
• Characterizing the powerset by a complete (Scott) sentence
• Categoricity in Power
• The number of countable models

This page was built for publication: Three red herrings around Vaught’s conjecture