Search results

power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs 1996-08-28 Paper Expressive power of finitely axiomatizable...

pseudocomplemented semilattices is finitely axiomatizable 2014-11-14 Paper The class of algebraically closed p-semilattices is finitely axiomatizable 2013-12-23 Paper...

1971-01-01 Paper 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...

Publication Type Dp-minimality: basic facts and examples 2011-11-10 Paper Finitely axiomatizable ω-categorical theories and the Mazoyer hypothesis 2006-01-16 Paper...

polycyclic-by-finite groups. 2014-09-08 Paper Paperfolding sequences, paperfolding curves and local isomorphism 2012-06-01 Paper Quasi-finitely axiomatizable nilpotent...

Paper On the abstract chromatic number and its computability for finitely axiomatizable theories 2022-03-03 Paper Semantic limits of dense combinatorial...

mereological theories 2023-09-12 Paper General extensional mereology is finitely axiomatizable 2018-10-02 Paper Notes on models of first-order mereological theories...

Three-element non-finitely axiomatizable matrices and term-equivalence 2017-05-18 Paper No matrix term-equivalent to Wroński's 3-element matrix is finitely based 2005-04-07...

certain equivalence relations by products of ideals 1976-01-01 Paper Finitely axiomatizable sets on the basis of a system of the propositional calculus 1976-01-01...

Publication Type The class of algebraically closed p-semilattices is finitely axiomatizable 2013-12-23 Paper...

2000-03-13 Paper Finite complete rewriting systems for groups 1999-06-20 Paper The class of embeddable semigroup amalgams is not finitely axiomatizable 1998-12-03...

1990-01-01 Paper The elementary theory of the natural lattice is finitely axiomatizable 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3707987 1984-01-01...

Publication Date of Publication Type Finite two-dimensional proof systems for non-finitely axiomatizable logics 2022-12-07 Paper Proof search on bilateralist...

Mathematical Logic 2021-08-24 Paper STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE 2020-04-27 Paper On the modal logic of Jeffrey conditionalization...

2001-10-16 Paper The monoid of the random graph 2001-03-21 Paper A finitely axiomatizable undecidable equational theory with recursively solvable word problems...

predicting dialogue structure using prosodic features 2002-06-26 Paper A finitely axiomatizable undecidable extension of K 1977-01-01 Paper Computability Over Arbitrary...

https://portal.mardi4nfdi.de/entity/Q3797167 1987-01-01 Paper Quasi finitely axiomatizable totally categorical theories 1986-01-01 Paper...

for semantic classes of sentences 1994-05-18 Paper The number of finitely axiomatizable completions 1992-06-25 Paper https://portal.mardi4nfdi.de/entity/Q3486553...

Publication Date of Publication Type On the direct products of quasi-finitely axiomatizable groups. 2015-05-11 Paper R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE...

Countably-categorical Boolean algebras with distinguished ideals 1987-01-01 Paper Finitely axiomatizable Boolean algebras with distinguished ideals 1987-01-01 Paper https://portal...