Publications

Export 123 results:
Filters: Type is Journal Article  [Clear All Filters]
2014
Jäger, G., Zumbrunnen, R.: Explicit mathematics and operational set theory: some ontological comparisons. The Bulletin of Symbolic Logic. 20, 275-292 (2014).
Sato, K.: Forcing for Hat Inductive Definitions in Arithmetic – One of the Simplest Applications of Forcing –. Mathematical Logic Quarterly. 60, 314-318 (2014).
Flumini, D., Sato, K.: From hierarchies to well-foundedness. Archive for Mathematical Logic. 53, (2014).
Alberucci, L., Krähenbühl, J., Studer, T.: Justifying induction on modal $μ$-formulae. Logic Journal of IGPL. 22, 805-817 (2014).
Artemov, S., Kuznets, R.: Logical Omniscience As Infeasibility. Annals of Pure and Applied Logic. 165, 6-25 (2014).
Savateev, Y.: Proof Internalization for Generalized Frege Systems for Classical Logic. Annals of Pure and Applied Logic. 165, 340-356 (2014).
Bucheli, S., Kuznets, R., Studer, T.: Realizing Public Announcements by Justifications. Journal of Computer and System Sciences. 80, 1046-1066 (2014).
Sato, K.: Relative predicativity and dependent recursion in second-order set theory and higher-order theories. The Journal of Symbolic Logic. 79, 712-732 (2014).

Pages