Search results
From MaRDI portal
- \(n \)-generated normal subgroups 2023-08-18 Paper On the independent axiomatizability of quasivarieties of nilpotent groups 2023-03-02 Paper Locally free...10 bytes (18 words) - 21:45, 9 December 2023
- polygons 1998-11-22 Paper Axiomatizability and model completeness of the class of regular polygons 1995-09-20 Paper Axiomatizability and completeness of some...10 bytes (18 words) - 19:45, 11 December 2023
- Publication Date of Publication Type Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \) 2012-08-01 Paper Imaginaries in real closed...10 bytes (16 words) - 23:39, 11 December 2023
- logics of programs and in dynamic logics 1993-11-28 Paper Non-finite-axiomatizability results in algebraic logic 1993-04-01 Paper On generalizations of a...10 bytes (16 words) - 17:00, 12 December 2023
- Publication Date of Publication Type Axiomatizability of homological classes of semimodules over semirings 2020-11-11 Paper On congruence-semisimple semirings...10 bytes (16 words) - 04:36, 12 December 2023
- logical study of real closed fields 2020-01-23 Paper On decidability and axiomatizability of some ordered structures 2019-08-14 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 11:03, 12 December 2023
- 2020-07-21 Paper Structure of quasivariety lattices. I: Independent axiomatizability 2019-12-06 Paper Structure of quasivariety lattices. II: Undecidable...10 bytes (18 words) - 22:15, 12 December 2023
- 2014-09-02 Paper Axiomatizability of free \(S\)-posets 2014-06-03 Paper https://portal.mardi4nfdi.de/entity/Q2898942 2012-07-13 Paper Axiomatizability and completeness...10 bytes (18 words) - 15:14, 6 October 2023
- Efficient rewriting in cograph trace monoids 2022-12-09 Paper Nonfinite axiomatizability of the equational theory of shuffle 2019-01-10 Paper Trace rewriting:...10 bytes (17 words) - 11:10, 24 September 2023
- Publication Date of Publication Type Axiomatizability of the class of subdirectly irreducible \(S\)-acts over a commutative monoid 2024-02-23 Paper The...10 bytes (18 words) - 18:16, 24 September 2023
- 2020-11-23 Paper Structure of quasivariety lattices. I: Independent axiomatizability 2019-12-06 Paper Structure of quasivariety lattices. II: Undecidable...10 bytes (18 words) - 16:59, 8 December 2023
- Publication Date of Publication Type Finite axiomatizability for equational theories of computable groupoids 1989-01-01 Paper Basic questions for general...10 bytes (16 words) - 22:18, 12 December 2023
- 2021-02-15 Paper On axiomatizability of the class of finitary matroids and decidability of their universal theory 2020-11-24 Paper On axiomatizability of hereditary...10 bytes (19 words) - 02:05, 25 September 2023
- de/entity/Q4304523 1994-09-12 Paper On Kleene algebras 1994-01-12 Paper A non-axiomatizability result in algebraic logic 1992-06-27 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 08:44, 9 December 2023
- Quantification in nonclassical logic. Volume I. 2009-10-08 Paper On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded...10 bytes (16 words) - 00:54, 12 December 2023
- Publication Date of Publication Type On the finite axiomatizability of 2020-05-11 Paper Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\)...10 bytes (16 words) - 06:18, 12 December 2023
- implication algebras 2012-03-09 Paper Algebraic functions 2012-03-09 Paper Axiomatizability by \({\forall \exists!}\)-sentences 2011-11-23 Paper An implicit function...10 bytes (18 words) - 17:55, 8 December 2023
- single structure 2009-03-17 Paper The weak extension property and finite axiomatizability for quasivarieties 2009-02-09 Paper https://portal.mardi4nfdi.de/entity/Q5441555...10 bytes (16 words) - 17:24, 12 December 2023
- Publication Date of Publication Type THE NON-AXIOMATIZABILITY OF O-MINIMALITY 2014-09-30 Paper...10 bytes (16 words) - 15:09, 6 October 2023
- Publication Date of Publication Type On Axiomatizability of Non-Commutative Lp-Spaces 2008-06-18 Paper...10 bytes (16 words) - 03:24, 28 December 2023
