Regula Krapf

Publication Activity (10 Years)

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

Top Topics

Boolean Functions

Support Vector Machine

Top Venues

Ann. Pure Appl. Log.

Publications

Peter Holy, Regula Krapf, Philipp Schlicht
Characterizations of pretameness and the Ord-cc. Ann. Pure Appl. Log. 169 (8) (2018)
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)