Ana Njegomir

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 2

Top Topics

Interactive Theorem Proving

Top Venues

Ann. Pure Appl. Log.

Publications

Peter Holy, Philipp Lücke, Ana Njegomir
Small embedding characterizations for large cardinals. Ann. Pure Appl. Log. 170 (2) (2019)
Peter Holy, Regula Krapf, Philipp Lücke, Ana Njegomir, Philipp Schlicht
Class forcing, the forcing Theorem and Boolean Completions. J. Symb. Log. 81 (4) (2016)