Vaught’s Conjecture Without Equality
Work
Year: 2015
Type: article
Abstract: Suppose that σ∈Lω1,ω(L) is such that all equations occurring in σ are positive, have the same set of variables on each side of the equality symbol, and have at least one function symbol on each side o... more
Author Nathanael Ackerman
Institution Harvard University Press
Cites: 9
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green