Scott Complexity and Finitely α-generated Structures

Abstract: In this talk, we define the notion of a finitely α-generated structure and generalize results about Scott sentences earlier known only for finitely generated structures. We will show how these results can be used to the connect some of the existing non-equivalent definitions of Scott rank.

logic

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic