Constructive Mathematical Truth

Simple item page
dc.creatorTaranovsky, Dmytro
dc.date2006-05-04
dc.date2006-06-01
dc.date.accessioned2026-07-07T07:13:56Z
dc.date.available2026-07-07T07:13:56Z
dc.descriptionWe define constructive truth for arithmetic and for intuitionistic analysis, and investigate its properties. We also prove that the set of constructively true (first order) arithmetical statements is Pi-1-2 and Sigma-1-2 hard, and we conjecture it to be complete for second order arithmetic. A statement is constructively true iff it is realized by a constructive function under continuous function realizability.
dc.description23 pages; new results and references
dc.identifierhttps://arxiv.org/abs/math/0605138
dc.identifierhttp://arxiv.org/abs/math/0605138
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/112667
dc.subjectLogic
dc.subject03F55
dc.titleConstructive Mathematical Truth
dc.typetext

Files

Collections

arXiv