Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames

11 Feb 2021 Rineke Verbrugge

It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models increases, every formula holds either in almost all or in almost no models of that size. Therefore, many properties of models, such as having an even number of elements, cannot be expressed in the language of first-order logic... (read more)

PDF Abstract
No code implementations yet. Submit your code now