The theory of hereditarily bounded sets

04/14/2021 ∙ by Emil Jeřábek, et al. ∙ 0

We show that for any k∈ω, the structure (H_k,∈) of sets that are hereditarily of size at most k is decidable. We provide a transparent complete axiomatization of its theory, a quantifier elimination result, and tight bounds on its computational complexity. This stands in stark contrast to the structure V_ω=⋃_k H_k of hereditarily finite sets, which is well known to be bi-interpretable with the standard model of arithmetic (ℕ,+,·).

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.