Projects
Reading
People
Chat
SU\G
(𝔸)
/K·U
Projects
Reading
People
Chat
Sign Up
Light
Dark
System
Positive Primitive Structures
B. A. Romov
Type:
Article
Publication Date:
2009-01-01
Citations:
2
DOI:
https://doi.org/10.1109/ismvl.2009.20
Share
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
Works That Cite This (2)
Action
Title
Year
Authors
+
PDF
Chat
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
2010
Manuel Bodirsky
Martin Hils
Barnaby Martin
+
PDF
Chat
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
2012
Barnaby Martin
Manuel Bodirsky
Martin Hils
Works Cited by This (5)
Action
Title
Year
Authors
+
A shorter model theory
1997
Wilfrid Hodges
+
Constraint Satisfaction with Countable Homogeneous Templates
2003
Manuel Bodirsky
Jaroslav Nešetřil
+
Galois theory for post algebras. I
1972
В. Г. Боднарчук
Lev Arkadʹevich Kaluzhnin
V. N. Kotov
B. A. Romov
+
PDF
Chat
Oligomorphic Permutation Groups
1990
Peter J. Cameron
+
Galois theory for Post algebras. II
1969
В. Г. Боднарчук
Lev Arkadʹevich Kaluzhnin
V. N. Kotov
B. A. Romov