Expansion by a new constant may change the finite axiomatization property
of a matrix
cytuj
pobierz pliki
RIS BIB ENDNOTEChoose format
RIS BIB ENDNOTE
Expansion by a new constant may change the finite axiomatization property
of a matrix
Publication date: 14.12.2016
Technical Transactions, 2016, Fundamental Sciences Issue 1-NP 2016, pp. 131 - 136
https://doi.org/10.4467/2353737XCT.16.146.5757Authors
Expansion by a new constant may change the finite axiomatization property
of a matrix
We give an example of a finite matrix with the property that expanding its language with a constant changes its finite axiomatization property: in the language with one binary operation the tautologies of the matrix are finitely axiomatizable while in the expanded language they are not. The constant we add is not definable in the original language.The deductive system generated by this matrix is not algebraizable.
Information: Technical Transactions, 2016, Fundamental Sciences Issue 1-NP 2016, pp. 131 - 136
Article type: Original article
Titles:
Expansion by a new constant may change the finite axiomatization property
of a matrix
Expansion by a new constant may change the finite axiomatization property
of a matrix
Institute of Mathematics, Faculty of Physics, Mathematics and Computer Science, Cracow University of Technology
Published at: 14.12.2016
Article status: Open
Licence: None
Percentage share of authors:
Article corrections:
-Publication languages:
EnglishView count: 1431
Number of downloads: 816