Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Truth and feasible reduci… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Truth and feasible reducibility

Working paper
Författare Ali Enayat
Mateusz Łełyk
Bartosz Wcisło
Publiceringsår 2019
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Språk en
Länkar de.arxiv.org/pdf/1902.00392.pdf
Ämnesord Axiomatic truth, feasible reduction, conservativity, speed-up
Ämneskategorier Logik, Algebra och logik

Sammanfattning

We show that certain theories of truth over Peano arithmetic are feasibly reducible (in the sense described in the paper) to Peano arithmetic.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?