Annika Siders

From MaRDI portal
Person:1734261

Available identifiers

zbMath Open kanckos.annikaMaRDI QIDQ1734261

List of research outcomes





PublicationDate of PublicationType
THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF2022-02-07Paper
Kurt G\"odel's reception of Charles Hartshorne's ontological proof2021-11-23Paper
A note on Gentzen's ordinal assignment2019-03-27Paper
A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic2017-09-27Paper
Variants of Gödel's ontological proof in a natural deduction calculus2017-07-19Paper
From Stenius' consistency proof to Schütte's cut elimination for \(\omega\)-arithmetic2016-04-29Paper
Normalization proof for Peano arithmetic2015-11-18Paper
Gentzen's consistency proof without heightlines2013-06-28Paper
https://portal.mardi4nfdi.de/entity/Q46489452012-11-16Paper
Normal derivability in classical natural deduction2012-06-11Paper
Consistency of Heyting arithmetic in natural deduction2011-01-10Paper

Research outcomes over time

This page was built for person: Annika Siders

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1734261&oldid=11016223"
Powered by MediaWiki