Search results
From MaRDI portal
- models of the theory of Boolean algebras with distinguished ideals 1996-08-26 Paper Theories of Boolean algebras with distinguished ideals which have no prime...10 bytes (18 words) - 04:07, 12 December 2023
- categorical Boolean algebras enriched by ideals and atoms 2012-03-13 Paper Countably categorical and autostable Boolean algebras with distinguished ideals 2012-02-20...10 bytes (18 words) - 22:27, 9 December 2023
- Date of Publication Type Isomorphy types of superatomic Boolean algebras with one distinguished ideal 2000-04-13 Paper https://portal.mardi4nfdi.de/entity/Q4242520...10 bytes (18 words) - 22:05, 24 September 2023
- mardi4nfdi.de/entity/Q4517362 2000-11-21 Paper Autostability of Boolean algebras with distinguished ideal 1999-05-11 Paper...10 bytes (18 words) - 15:46, 6 October 2023
- Publication Type Relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms 2020-06-24 Paper A remark on a paper of I. V...10 bytes (18 words) - 21:37, 11 December 2023
- Type Some Boolean algebras with finitely many distinguished ideals II 2003-05-22 Paper Some Boolean Algebras with Finitely Many Distinguished Ideals I 1996-04-22...10 bytes (16 words) - 00:59, 28 December 2023
- \(V\)-quasivarieties of MV-algebras 2018-02-19 Paper Lattice BCK logics with Modus Ponens as unique rule 2014-06-06 Paper Distinguished algebraic semantics for t-norm...10 bytes (18 words) - 19:56, 12 December 2023
- extensions to Boolean algebras of compound conditionals 2023-07-18 Paper An approach to improve argumentation-based epistemic planning with contextual preferences...10 bytes (17 words) - 15:59, 7 December 2023
- a generalized Boolean algebra extension of a lattice ordered group 2009-02-09 Paper Weak homogeneity and Pierce’s theorem for MV-algebras 2009-02-09 Paper...10 bytes (17 words) - 16:50, 9 December 2023
- residuated lattices with an added involution 2009-11-04 Paper First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness...10 bytes (16 words) - 15:59, 7 December 2023
- Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals 2015-09-28 Paper Solvability of the periodic problem for...10 bytes (16 words) - 11:13, 6 October 2023
- 1964-01-01 Paper Complete theories of algebraically closed fields with distinguished subfields 1964-01-01 Paper Good ideals in fields of sets 1964-01-01 Paper...10 bytes (19 words) - 18:29, 11 December 2023
- permutations 2012-12-17 Paper Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra 2012-12-17 Paper A stabilized fractional...10 bytes (16 words) - 03:19, 25 September 2023
- Paper An algebraic geometry study of the \(b\)-\(c\) system with arbitrary twist fields and arbitrary statistics 1992-06-27 Paper Exchange algebra and the...10 bytes (15 words) - 10:20, 24 September 2023
- complexity; computably categorical structure; computable Boolean algebra with distinguished ideals Mathematics Subject Classification ID 03D45: Theory of...15 bytes (49 words) - 22:33, 8 February 2024
- algebra with distinguished ideals; intrinsic computability Mathematics Subject Classification ID 03C57: Computable structure theory, computable model theory...15 bytes (67 words) - 09:11, 30 January 2024
- Keywords Boolean algebra; autostability; prime model; autostability relative to strong constructivizations; \(I\)-algebra; Boolean algebra with distinguished...15 bytes (78 words) - 06:15, 30 January 2024
- with distinguished ideals Mathematics Subject Classification ID 06E99: Boolean algebras (Boolean rings) 03C35: Categoricity and completeness of theories...15 bytes (48 words) - 03:30, 31 January 2024
- algebras with distinguished ideals; omega-categorical Mathematics Subject Classification ID 06E99: Boolean algebras (Boolean rings) 03C35: Categoricity and...15 bytes (53 words) - 13:07, 31 January 2024
- constructivizability; Boolean algebras with distinguished ideals Mathematics Subject Classification ID 06E99: Boolean algebras (Boolean rings) 03C35: Categoricity...15 bytes (49 words) - 02:50, 31 January 2024
