×

Found 1,308 Documents (Results 1–100)

100
MathJax

Axiomatizing Boolean differentiation. (English) Zbl 07410741

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 83-104 (2021).
PDF BibTeX XML Cite
Full Text: DOI

The theories of superatomic Boolean algebras with distinguished subalgebra which lack countably saturated models. (English. Russian original) Zbl 1481.03017

Sib. Math. J. 61, No. 3, 516-527 (2020); translation from Sib. Mat. Zh. 61, No. 3, 654-668 (2020).
MSC:  03C50 06E05
PDF BibTeX XML Cite
Full Text: DOI

The Katowice problem for analysts. (English) Zbl 1441.54017

Buskes, Gerard (ed.) et al., Positivity and noncommutative analysis. Festschrift in honour of Ben de Pagter on the occasion of his 65th birthday. Based on the workshop “Positivity and Noncommutative Analysis”, Delft, The Netherlands, September 26–28, 2018. Cham: Birkhäuser. Trends Math., 249-255 (2019).
PDF BibTeX XML Cite
Full Text: DOI Link

Tiling the Boolean lattice with copies of a poset. (English) Zbl 1379.06004

Drmota, Michael (ed.) et al., Extended abstracts of the ninth European conference on combinatorics, graph theory and applications, EuroComb 2017, Vienna, Austria, August 28 – September 1, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 61, 535-539 (2017).
MSC:  06E05 06A07 05B45
PDF BibTeX XML Cite
Full Text: DOI

Tangle and maximal ideal. (English) Zbl 06711879

Poon, Sheung-Hung (ed.) et al., WALCOM: algorithms and computation. 11th international conference and workshops, WALCOM 2017, Hsinchu, Taiwan, March 29–31, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10167, 81-92 (2017).
MSC:  06E05
PDF BibTeX XML Cite
Full Text: DOI

Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. (English. Russian original) Zbl 1403.06021

Sib. Math. J. 57, No. 6, 1066-1076 (2016); translation from Sib. Mat. Zh. 57, No. 6, 1361-1375 (2016).
PDF BibTeX XML Cite
Full Text: DOI

The Boolean algebra of piecewise testable languages. (English) Zbl 1475.68195

Beckmann, Arnold (ed.) et al., Pursuit of the universal. 12th conference on computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9709, 292-301 (2016).
MSC:  68Q70 06E05
PDF BibTeX XML Cite
Full Text: DOI

Boolean algebras with distinguished endomorphisms and generating trees. (Russian, English) Zbl 1349.03034

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 15, No. 1, 29-44 (2015); translation in J. Math. Sci., New York 215, No. 4, 460-474 (2016).
MSC:  03C57 03D45 06E05
PDF BibTeX XML Cite
Full Text: DOI

Prime model with no degree of autostability relative to strong constructivizations. (English) Zbl 1461.03027

Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 117-126 (2015).
MSC:  03C57 03D45 06E05
PDF BibTeX XML Cite
Full Text: DOI

Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals. (English. Russian original) Zbl 1347.03070

Sib. Math. J. 56, No. 3, 490-498 (2015); translation from Sib. Mat. Zh. 56, No. 3, 617-628 (2015).
PDF BibTeX XML Cite
Full Text: DOI

The index set of Boolean algebras autostable relative to strong constructivizations. (English. Russian original) Zbl 1328.03036

Sib. Math. J. 56, No. 3, 393-404 (2015); translation from Sib. Mat. Zh. 56, No. 3, 498-512 (2015).
PDF BibTeX XML Cite
Full Text: DOI

The Boolean algebra of cubical areas as a tensor product in the category of semilattices with zero. (English) Zbl 1433.68256

Lanese, Ivan (ed.) et al., Proceedings of the 7th interaction and concurrency experience workshop, ICE’14, Berlin, Germany, June 6, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 166, 60-66 (2014).
PDF BibTeX XML Cite
Full Text: arXiv Link

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software