Payam Seraji

From MaRDI portal
Person:1653262

Available identifiers

zbMath Open seraji.payamMaRDI QIDQ1653262

List of research outcomes





PublicationDate of PublicationType
Plato’s Timaeus and optimal pentatonic scales2024-04-15Paper
Gödel’s second incompleteness theorem for Σn-definable theories2022-08-10Paper
On constructivity and the Rosser property: a closer look at some Gödelean proofs2018-07-17Paper
Gödel–Rosser's Incompleteness Theorem, generalized and optimized for definable theories2018-02-13Paper
Godel's Second Incompleteness Theorem for Definable Theories2016-02-07Paper

Research outcomes over time

This page was built for person: Payam Seraji

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