1 problem

0 votes0 replies0 views
Reverse-mathematical conjecture for existentially closed Fraïssé classes and supergroups
Reverse-mathematical conjecture. Over $\mathrm{RCA}_0$ , the existence of an existentially closed Fraïssé class of groups is equivalent to $\mathrm{WKL}_0$ , and the existence of an…
Conjectureopenexistentially-closed-groups fraisse-classes reverse-mathematicsarXiv posted 2 days ago

Reverse-mathematical conjecture for existentially closed Fraïssé classes and supergroups