Search results
From MaRDI portal
- power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs 1996-08-28 Paper Expressive power of finitely axiomatizable...10 bytes (18 words) - 01:14, 10 December 2023
- On Models with Undefinable Elements. 1971-01-01 Paper A finitely axiomatizable complete theory with atomlessF 1(T) 1971-01-01 Paper A model with exactly...10 bytes (16 words) - 00:37, 13 December 2023
- On the abstract chromatic number and its computability for finitely axiomatizable theories 2022-03-03 Paper Semantic limits of dense combinatorial objects...10 bytes (18 words) - 19:48, 13 December 2023
- dimensional free sequence-set algebras 2019-10-09 Paper The finitely axiomatizable complete theories of non-associative arrow frames 2019-03-13 Paper Stone...10 bytes (16 words) - 19:32, 24 September 2023
- equivalence and isomorphism of finitely generated nilpotent groups 1984-01-01 Paper The model theory of finitely generated finite-by-abelian groups 1984-01-01...10 bytes (16 words) - 20:22, 11 December 2023
- countably categorical theories. II 1984-01-01 Paper Strongly minimal countably categorical theories. III 1984-01-01 Paper Some model theory of simple algebraic...10 bytes (19 words) - 19:48, 11 December 2023
- 2022-03-24 Paper S. Barry Cooper (1943–2015) 2018-09-20 Paper Model theory of finite and pseudofinite groups 2018-02-09 Paper REDUCTS OF STRUCTURES AND...10 bytes (17 words) - 13:39, 28 January 2024
- Publication Date of Publication Type Model theory of subject domains. II 2023-05-10 Paper Model theory of subject domains. I 2022-11-07 Paper Sergeĭ Il'ich...10 bytes (18 words) - 04:07, 12 December 2023
- the interpretation of intuitionistic number theory 1945-01-01 Paper On the Forms of the Predicates in the Theory of Constructive Ordinals 1944-01-01 Paper...10 bytes (19 words) - 09:57, 13 December 2023
- On Models with Undefinable Elements. 1971-01-01 Paper A finitely axiomatizable complete theory with atomlessF 1(T) 1971-01-01 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 22:07, 10 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q3727997 1986-01-01 Paper Theories Having Finitely Many Countable Homogeneous Models 1986-01-01 Paper Models of Peano...10 bytes (18 words) - 21:18, 8 December 2023
- de/entity/Q5750978 1990-01-01 Paper The elementary theory of the natural lattice is finitely axiomatizable 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3707987...10 bytes (16 words) - 02:56, 9 December 2023
- quasivarieties of nilpotent groups 2018-04-20 Paper On groups which are not finitely defined in every quasivariety of groups 2017-12-13 Paper On quasivarieties...10 bytes (18 words) - 21:45, 9 December 2023
- The monoid of the random graph 2001-03-21 Paper A finitely axiomatizable undecidable equational theory with recursively solvable word problems 2000-05-22...10 bytes (16 words) - 18:29, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q4860780 1996-03-05 Paper All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable 1995-02-20 Paper https://portal...10 bytes (18 words) - 10:52, 9 December 2023
- To the spectral theory of partially ordered sets. II 2020-06-24 Paper Structure of quasivariety lattices. I: Independent axiomatizability 2019-12-06 Paper...10 bytes (17 words) - 22:55, 11 December 2023
- class of prime semilattices is not finitely axiomatizable 1997-08-07 Paper A Characterization of Minimal Locally Finite Varieties 1997-05-13 Paper Locally...10 bytes (19 words) - 16:21, 8 December 2023
- products of modal logics with expanding domains 2006-09-14 Paper All finitely axiomatizable tense logics of linear time flows are coNP-complete 2006-03-17 Paper...10 bytes (17 words) - 19:24, 9 December 2023
- for finitely axiomatizable fragments of bounded arithmetic theories 2006-08-03 Paper Truth definitions in finite models 2005-08-29 Paper A finite model-theoretical...10 bytes (19 words) - 18:17, 11 December 2023
- de/entity/Q3809779 1988-01-01 Paper Quasi finitely axiomatizable totally categorical theories 1986-01-01 Paper Model theory of modules 1984-01-01 Paper Einige...10 bytes (17 words) - 03:23, 12 December 2023
