Login / Signup
Amitayu Banerjee
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 3
Top Topics
Function Symbols
Logical Formulas
Autoregressive
Predicate Calculus
Top Venues
Arch. Math. Log.
Ann. Pure Appl. Log.
Math. Log. Q.
</>
Publications
</>
Amitayu Banerjee
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse.
Arch. Math. Log.
62 (3) (2023)
Amitayu Banerjee
Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse.
Math. Log. Q.
66 (3) (2020)
Amitayu Banerjee
,
Mohamed Khaled
First order logic without equality on relativized semantics.
Ann. Pure Appl. Log.
169 (11) (2018)