S. Goncharov

activity

20082026

most citedUnguarded Recursion on Coinductive Resumptions

11 citations · 37 across the 19 of their papers we have counts for

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2016

Hanf Number for Scott Sentences of Computable Structures

Sergey Goncharov, Julia Knight, Ioannis Souldatos

The Hanf number for a set $S$ of sentences in $L_{ω_{1}, ω}$ (or some other logic) is the least infinite cardinal $κ$ such that for all $φ \in S$ , if $φ$ has models in all infinite car…

math.LO2008

Structures in Familiar Classes Which Have Scott Rank $ω_{1}^{C K}$

Wesley Calvert, Sergey S. Goncharov, Julia F. Knight

There are familiar examples of computable structures having various computable Scott ranks. There are also familiar structures, such as the Harrison ordering, which have Scott rank…

Hanf Number for Scott Sentences of Computable Structures

Structures in Familiar Classes Which Have Scott Rank ω1CK​

Structures in Familiar Classes Which Have Scott Rank $ω_{1}^{C K}$