A. Banerjee

collaborators

Showing math.LOShow all

2 papers · 1 filter

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 $α \geq 2$ be any ordinal. We consider the class $Drs_{α}$ of relativized diagonal free set algebras of dimension $α$ . With same technique, we prove several important res…