Search results

Did you mean: complete theories of boolean algebra

Matatyahu Rubin (section List of research outcomes)
\omega}\) complete extensions of complete theories of Boolean algebras 2004-10-01 Paper On poset Boolean algebras 2004-08-06 Paper On a poset algebra which...

10 bytes (13 words) - 12:16, 8 December 2023
S. Shelah (section List of research outcomes)
2008-05-08 Paper The number of openly generated Boolean algebras 2008-05-08 Paper On Depth and \(\text{Depth}^{+}\) of Boolean algebras 2008-04-15 Paper https://portal...

10 bytes (15 words) - 09:23, 8 December 2023
S. S. Goncharov (section List of research outcomes)
Paper Constructivizability of superatomic Boolean algebras 1974-01-01 Paper Constructive models of complete solvable theories 1974-01-01 Paper https://portal...

10 bytes (17 words) - 13:05, 10 December 2023
A. G. Pinus (section List of research outcomes)
categories of universal algebras 2012-07-13 Paper Universal algebras and ideals of the scale of computability potentials of all finite algebras 2012-05-21...

10 bytes (15 words) - 15:57, 8 December 2023
Miloš S. Kurilić (section List of research outcomes)
complete Boolean algebras 2009-12-14 Paper A game on Boolean algebras describing the collapse of the continuum 2009-06-17 Paper Power-collapsing games 2009-01-09...

10 bytes (15 words) - 13:49, 10 December 2023
Nikolay Bazhenov (section List of research outcomes)
2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms 2016-07-22 Paper Boolean Algebras with Distinguished Endomorphisms...

10 bytes (14 words) - 17:02, 11 December 2023
Ralph McKenzie (section List of research outcomes)
lattice of equational theories 1994-12-13 Paper Non-covering in the interpretability lattice of equational theories 1994-12-12 Paper The structure of finite...

10 bytes (16 words) - 18:48, 8 December 2023
Roman Sikorski (section List of research outcomes)
problems on Boolean algebras 1963-01-01 Paper On free products of m-distributive Boolean algebras 1963-01-01 Paper Products of generalized algebras and products...

10 bytes (14 words) - 06:07, 7 October 2023
Antonino Salibra (section List of research outcomes)
incompleteness of the lambda calculus 2017-06-13 Paper Graph easy sets of mute lambda terms 2016-05-27 Paper The connection of skew Boolean algebras and discriminator...

10 bytes (15 words) - 21:33, 10 December 2023
Roberto Cignoli (section List of research outcomes)
categories of Kleene and three-valued Lukasiewicz algebras 1979-01-01 Paper The lattice of global sections of sheaves of chains over Boolean spaces 1978-01-01...

10 bytes (13 words) - 04:04, 12 December 2023
Alfred L. Foster (section List of research outcomes)
1938-01-01 Paper Boolean algebra and the abstract theory of algebraic ideals. 1934-01-01 Paper On the representation of abstract Boolean algebras. 1934-01-01...

10 bytes (16 words) - 07:48, 12 December 2023
Zoltán Ésik (section List of research outcomes)
Some quasi-varieties of iteration theories 2023-04-28 Paper A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS 2022-12-06...

10 bytes (15 words) - 12:45, 8 December 2023
Stefan Milius (section List of research outcomes)
treatment of recursive definitions 2013-10-01 Paper Iterative algebras for a base 2013-09-20 Paper From iterative algebras to iterative theories (extended...

10 bytes (13 words) - 07:07, 7 October 2023
Steven R. Givant (section List of research outcomes)
for equational theories of relation algebras 1997-12-07 Paper Perfect extensions and derived algebras 1996-06-19 Paper Universal theories categorical in...

10 bytes (17 words) - 15:19, 8 December 2023
Hirokazu Nishimura (section List of research outcomes)
Paper Some Boolean Valued Commutative Algebra 1992-06-28 Paper Boolean valued Lie algebras 1992-06-27 Paper Some connections between boolean valued analysis...

10 bytes (13 words) - 22:19, 8 December 2023
R. Padmanabhan (section List of research outcomes)
Paper Equational Theories of Algebras with Distributive Congruences 1973-01-01 Paper A single identity for Boolean groups and Boolean rings 1972-01-01...

10 bytes (13 words) - 09:24, 7 October 2023
Ivo Düntsch (section List of research outcomes)
on Boolean algebras 2013-01-30 Paper Extension Properties of Boolean Contact Algebras 2012-09-21 Paper Discrete dualities for double Stone algebras 2011-11-23...

10 bytes (13 words) - 01:54, 9 December 2023
István Németi (section List of research outcomes)
lattice of varieties of representable relation algebras 1994-08-15 Paper Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with...

10 bytes (13 words) - 15:22, 9 December 2023
Stanley N. Burris (section List of research outcomes)
first order theory of Boolean algebras with a distinguished group of automorphisms 1982-01-01 Paper A note on directly indecomposable algebras 1982-01-01...

10 bytes (16 words) - 02:22, 10 December 2023
George Georgescu (section List of research outcomes)
predicate calculus 2001-11-06 Paper Boolean products of BL-algebras 2001-07-26 Paper Representations of normal algebras 2001-07-08 Paper https://portal.mardi4nfdi...

10 bytes (13 words) - 15:50, 9 December 2023