On Prucnal's model : determined logic and definable predicates

2004
journal article
article
dc.abstract.enPrucnal's concept of a logic determined by a model is discussed. It is proved that logics different from the pure fi rst-order one can be determined by models with undecidable theories.pl
dc.affiliationWydział Filozoficzny : Instytut Filozofiipl
dc.contributor.authorWroński, Andrzej - 132781 pl
dc.date.accession2020-09-14pl
dc.date.accessioned2020-09-14T10:23:21Z
dc.date.available2020-09-14T10:23:21Z
dc.date.issued2004pl
dc.date.openaccess0
dc.description.accesstimew momencie opublikowania
dc.description.number38pl
dc.description.physical87-91pl
dc.description.versionostateczna wersja wydawcy
dc.identifier.eissn2084-2589pl
dc.identifier.issn0137-2904pl
dc.identifier.projectROD UJ / OPpl
dc.identifier.urihttps://ruj.uj.edu.pl/xmlui/handle/item/245741
dc.identifier.weblinkhttp://rml.tcs.uj.edu.pl/rml-38/wronski.pdfpl
dc.languageengpl
dc.language.containerengpl
dc.rightsDozwolony użytek utworów chronionych*
dc.rights.licenceInna otwarta licencja
dc.rights.urihttp://ruj.uj.edu.pl/4dspace/License/copyright/licencja_copyright.pdf*
dc.share.typeotwarte czasopismo
dc.source.integratorfalse
dc.subtypeArticlepl
dc.titleOn Prucnal's model : determined logic and definable predicatespl
dc.title.journalReports on Mathematical Logicpl
dc.typeJournalArticlepl
dspace.entity.typePublication
dc.abstract.enpl
Prucnal's concept of a logic determined by a model is discussed. It is proved that logics different from the pure fi rst-order one can be determined by models with undecidable theories.
dc.affiliationpl
Wydział Filozoficzny : Instytut Filozofii
dc.contributor.authorpl
Wroński, Andrzej - 132781
dc.date.accessionpl
2020-09-14
dc.date.accessioned
2020-09-14T10:23:21Z
dc.date.available
2020-09-14T10:23:21Z
dc.date.issuedpl
2004
dc.date.openaccess
0
dc.description.accesstime
w momencie opublikowania
dc.description.numberpl
38
dc.description.physicalpl
87-91
dc.description.version
ostateczna wersja wydawcy
dc.identifier.eissnpl
2084-2589
dc.identifier.issnpl
0137-2904
dc.identifier.projectpl
ROD UJ / OP
dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/245741
dc.identifier.weblinkpl
http://rml.tcs.uj.edu.pl/rml-38/wronski.pdf
dc.languagepl
eng
dc.language.containerpl
eng
dc.rights*
Dozwolony użytek utworów chronionych
dc.rights.licence
Inna otwarta licencja
dc.rights.uri*
http://ruj.uj.edu.pl/4dspace/License/copyright/licencja_copyright.pdf
dc.share.type
otwarte czasopismo
dc.source.integrator
false
dc.subtypepl
Article
dc.titlepl
On Prucnal's model : determined logic and definable predicates
dc.title.journalpl
Reports on Mathematical Logic
dc.typepl
JournalArticle
dspace.entity.type
Publication
Affiliations

* The migration of download and view statistics prior to the date of April 8, 2024 is in progress.

Views
6
Views per month
Views per city
Dublin
3
Wroclaw
2
Szczecin
1
Downloads
wronski_on_prucnal's_model_2004.pdf
21
wronski_on_prucnal's_model_2004.odt
8