Athar Abdul-Quader

activity

20172024

most citedPathologies in satisfaction classes

1 citations · 3 across the 4 of their papers we have counts for

collaborators

Showing 2017Show all

2 papers · 1 filter

math.LO2017★ 1 cited

Neutrally Expandable Models of Arithmetic

Athar Abdul-Quader, Roman Kossak

A subset of a model of $PA$ is called neutral if it does not change the $dcl$ relation. A model with undefinable neutral classes is called neutrally expandable. We s…

math.LO2017★ 1 cited

Enayat Models of Peano Arithmetic

Athar Abdul-Quader

Simpson showed that every countable model $M ⊨ PA$ has an expansion $(M, X) ⊨ PA^{*}$ that is pointwise definable. A natural questio…