2 papers
math.LO2020
On some applications of strongly compact Prikry forcing
Amitayu Banerjee
We work with symmetric inner models of forcing extensions based on strongly compact Prikry forcing to extend some known results.
math.LO2018
First order logic without equality on relativized semantics
Amitayu Banerjee, Mohamed Khaled
Let be any ordinal. We consider the class of relativized diagonal free set algebras of dimension . With same technique, we prove several important res…