Independent sets of axioms for boolean algebras
Author(s) -
Tahsin Öner
Publication year - 2018
Publication title -
balıkesir üniversitesi fen bilimleri enstitüsü dergisi
Language(s) - Turkish
Resource type - Journals
eISSN - 2536-5142
pISSN - 1301-7985
DOI - 10.25092/baunfbed.433895
Subject(s) - axiom , stone's representation theorem for boolean algebras , boolean algebras canonically defined , mathematics , complete boolean algebra , independence (probability theory) , axiomatic system , set (abstract data type) , two element boolean algebra , interior algebra , discrete mathematics , boolean expression , algebra over a field , pure mathematics , boolean function , computer science , jordan algebra , algebra representation , statistics , geometry , programming language
Bu calismada, aksiyomatik sistemler arastirildi ve Boole cebirlerinin denk aksiyomlastirmalarinin bazilari ispatlandi. Ayrica, Huntington ve sonrasinda Robbins tarafindan ileri surulen, Boole cebirleri icin aksiyomlarin bir minimal kumesini olusturan uc aksiyomun bagimsizligini ispatlandi.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom