Positive Primitive Structures

Type: Article

Publication Date: 2009-01-01

Citations: 2

DOI: https://doi.org/10.1109/ismvl.2009.20

Similar Works

Action Title Year Authors
+ Positive Primitive Structures. 2011 B. A. Romov
+ Algorithmic Properties of Sigma--definability over Positive Predicate Structures 2011 Margarita Korovina
Oleg V. Kudinov
+ Positive primitive formulas preventing enough algebraic operations 2005 Jennifer Hyndman
+ Local-global properties of positive primitive formulas in the theory of spaces of orderings 2006 M. Marshall
+ Complete theories with 1-cardinal formulas 1975 M. M. Erimbetov
+ Countable models of set theories 1973 Harvey Friedman
+ NON-FINITE AXIOMATIZABILITY (Generic structures and their applications) 2004 Byunghan Kim
+ Two-element structures modulo primitive positive constructability 2019 Manuel Bodirsky
Albert Vucaj
+ Two-element structures modulo primitive positive constructability 2019 Manuel Bodirsky
Albert Vucaj
+ A note on countable models of 1-based theories 2002 Predrag Tanović
+ On “simple” undecidable fragments of positive and elementary theories of free semigroups of finite or countable rank 2020 V. G. Durnev
О. В. Зеткина
Алена Игоревна Зеткина
+ Finite Structures with Few Types 1993 Ehud Hrushovski
+ PDF Chat Locally Finite Constraint Satisfaction Problems 2015 Bartek Klin
Eryk Kopczyński
Joanna Ochremiak
Szymon Toruńczyk
+ PDF Chat On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction 2010 Manuel Bodirsky
Martin Hils
Barnaby Martin
+ PDF Chat Concerning definable sets 1955 Norman Routledge
+ Elements of Algebraic Geometry and the Positive Theory of Partially Commutative Groups 2007 Montserrat Casals-Ruiz
Ilya Kazachkov
+ PDF Chat Elements of Algebraic Geometry and the Positive Theory of Partially Commutative Groups 2010 Montserrat Casals-Ruiz
Ilya Kazachkov
+ Elementary theory of sets 2016 Flora Dinkines
+ A strong base of elementary types of theories 1978 T. G. Mustafin
+ Introduction to countable equivalence relations 2008 Vladimir Kanovei