On minimal counterexamples to Vaught’s Conjecture

Let [Formula: see text] be an [Formula: see text] sentence which is a minimal counterexample to Vaught’s Conjecture and for [Formula: see text] let [Formula: see text] be the fragment of [Formula: see text] consisting of formulas with quantifier rank less than [Formula: see text]. For a cub set of [Formula: see text], for all countable models [Formula: see text] and [Formula: see text] of [Formula: see text] with Scott rank at least [Formula: see text], for all [Formula: see text], [Formula: see text] is [Formula: see text]-embeddable into [Formula: see text].

Authors

Institutions

Publication Details

Journal
Journal of Mathematical Logic
Published
2025-05-17
DOI
https://doi.org/10.1142/s0219061325500138
Primary Topic
Polynomial and algebraic computation
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

On minimal counterexamples to Vaught’s Conjecture

Howard Becker
Journal of Mathematical Logic
Polynomial and algebraic computation
article

On minimal counterexamples to Vaught’s Conjecture

Howard Becker
article en

Abstract

Let [Formula: see text] be an [Formula: see text] sentence which is a minimal counterexample to Vaught’s Conjecture and for [Formula: see text] let [Formula: see text] be the fragment of [Formula: see text] consisting of formulas with quantifier rank less than [Formula: see text]. For a cub set of [Formula: see text], for all countable models [Formula: see text] and [Formula: see text] of [Formula: see text] with Scott rank at least [Formula: see text], for all [Formula: see text], [Formula: see text] is [Formula: see text]-embeddable into [Formula: see text].

Journal of Mathematical Logic
US Forest Service (US)
Climate action
Openalex Percentile: Top 88%
Polynomial and algebraic computation
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

On minimal counterexamples to Vaught’s Conjecture — Howard Becker · Journal of Mathematical Logic (2025) | TGRS Research Map | TGRS