Annika Siders

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF The Review of Symbolic Logic	2022-02-07	Paper
Kurt G\"odel's reception of Charles Hartshorne's ontological proof	2021-11-23	Paper
A note on Gentzen's ordinal assignment Archive for Mathematical Logic	2019-03-27	Paper
A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic Gentzen's Centenary	2017-09-27	Paper
Variants of Gödel's ontological proof in a natural deduction calculus Studia Logica	2017-07-19	Paper
From Stenius' consistency proof to Schütte's cut elimination for \(\omega\)-arithmetic The Review of Symbolic Logic	2016-04-29	Paper
Normalization proof for Peano arithmetic Archive for Mathematical Logic	2015-11-18	Paper
Gentzen's consistency proof without heightlines Archive for Mathematical Logic	2013-06-28	Paper
Gentzen's consistency proofs for arithmetic	2012-11-16	Paper
Normal derivability in classical natural deduction The Review of Symbolic Logic	2012-06-11	Paper
Consistency of Heyting arithmetic in natural deduction Mathematical Logic Quarterly	2011-01-10	Paper

Research outcomes over time

This page was built for person: Annika Siders