Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Models of PT- with internal induction for total formulae

Uproszczony widok
dc.abstract.enWe show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PT tot ) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PT tot contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorCieśliński, Cezary
dc.contributor.authorWcisło, Bartosz
dc.contributor.authorŁełyk, Mateusz
dc.date.accessioned2024-01-25T12:50:03Z
dc.date.available2024-01-25T12:50:03Z
dc.date.issued2017
dc.description.financeNie dotyczy
dc.description.number1
dc.description.volume10
dc.identifier.doi10.1017/S1755020316000356
dc.identifier.issn1755-0203
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/112782
dc.identifier.weblinkhttps://www.cambridge.org/core/journals/review-of-symbolic-logic/article/abs/models-of-pt-with-internal-induction-for-total-formulae/35B76BE4408655AFCA31F5E9A176B3AC
dc.languageeng
dc.pbn.affiliationmathemathics
dc.relation.ispartofReview of Symbolic Logic
dc.relation.pages187-202
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleModels of PT- with internal induction for total formulae
dc.typeJournalArticle
dspace.entity.typePublication