Simple view
Full metadata view
Authors
Statistics
On Prucnal's model : determined logic and definable predicates
2004
journal article
article
Journal
Reports on Mathematical Logic
Author
Wroński Andrzej
Number
38
Pages
87-91
ISSN
0137-2904
eISSN
2084-2589
Access date
2020-09-14
Language
English
Journal language
English
Abstract in English
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.
Affiliation
Wydział Filozoficzny : Instytut Filozofii
| dc.abstract.en | 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. | pl |
| dc.affiliation | Wydział Filozoficzny : Instytut Filozofii | pl |
| dc.contributor.author | Wroński, Andrzej - 132781 | pl |
| dc.date.accession | 2020-09-14 | pl |
| dc.date.accessioned | 2020-09-14T10:23:21Z | |
| dc.date.available | 2020-09-14T10:23:21Z | |
| dc.date.issued | 2004 | pl |
| dc.date.openaccess | 0 | |
| dc.description.accesstime | w momencie opublikowania | |
| dc.description.number | 38 | pl |
| dc.description.physical | 87-91 | pl |
| dc.description.version | ostateczna wersja wydawcy | |
| dc.identifier.eissn | 2084-2589 | pl |
| dc.identifier.issn | 0137-2904 | pl |
| dc.identifier.project | ROD UJ / OP | pl |
| dc.identifier.uri | https://ruj.uj.edu.pl/xmlui/handle/item/245741 | |
| dc.identifier.weblink | http://rml.tcs.uj.edu.pl/rml-38/wronski.pdf | pl |
| dc.language | eng | pl |
| dc.language.container | eng | pl |
| 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.subtype | Article | pl |
| dc.title | On Prucnal's model : determined logic and definable predicates | pl |
| dc.title.journal | Reports on Mathematical Logic | pl |
| dc.type | JournalArticle | pl |
| dspace.entity.type | Publication |
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
No affiliation
Wroński, Andrzej
* 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