Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,468 papers from all fields of science
Search
Sign In
Create Free Account
Recursively inseparable sets
Known as:
Effectively inseparable
, Effectively separable sets
, Effectively separable set
Expand
In computability theory, recursively inseparable sets are pairs of sets of natural numbers that cannot be "separated" with a recursive set (Monk 1976…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Computability theory
Gödel numbering
Recursive set
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Registro de los procesos artesanales de producción cerámica y la incidencia píctórica prehispánica, en el Centro Artesanal del Cantón San Juan El Espino, Municipio de Atiquizaya, Departamento de…
Fredy Jeremías Araujo Martínez
,
Sandra Verónica López Ruiz
2017
Corpus ID: 165922199
El presente trabajo de grado denominado: REGISTRO DE LOS PROCESOS ARTESANALES DE PRODUCCION CERAMICA Y LA INCIDENCIA PICTORICA…
Expand
2016
2016
Y la una no se mueve sin la otra: descolonialidad, antiracismo y feminismo. Una trieja inseparable para los procesos de cambio
Yuderkys Espinosa Miñoso
2016
Corpus ID: 194743178
espanol«Y la una no se mueve sin la otra» es un texto de 1979 de Luce Irigaray, esa feminista francesa de la diferencia que…
Expand
2015
2015
Biblioteca y Gabinete de curiosidades: una relación zoológica
Manuel Barbero Richart
,
Aurora Díez Baños
,
M. Domingo
2015
Corpus ID: 177338422
La relacion entre el arte y el conocimiento no solo es estrecha, directa e inseparable; ademas ancla sus raices en el propio…
Expand
2013
2013
Modelos explicativos de desnutrición crónica como estrategia para focalizar los hogares más vulnerables con población menor de cinco años de estratos uno a tres en Manizales
José Vicente Aguirre Arango
,
R. Marín
,
Sandra Gómez
,
José Hernán Parra Sánchez
,
María Victoria Benjumea Rincón
2013
Corpus ID: 160153886
2010
2010
Effectively inseparable Boolean algebras in lattices of sentences
V. Shavrukov
Archive for Mathematical Logic
2010
Corpus ID: 13259819
We show the non-arithmeticity of 1st order theories of lattices of Σn sentences modulo provable equivalence in a formal theory…
Expand
2009
2009
Patent Valuation Theory and the Economics of Improvement
Amy L. Landers
2009
Corpus ID: 106626357
In her response to Professor Golden's Principles of Patent Remedies, Professor Landers identifies three threads that underlie the…
Expand
2008
2008
Annual Meeting of the Association for Symbolic Logic : Philadelphia 1981
Simon Kochen
,
Hughes Leblanc
,
Charles D. Parsons
2008
Corpus ID: 265963857
S OF PAPERS 899 Indecomposability is a weakening of the concept of measurability; indeed, inaccessible cardinals carrying…
Expand
2007
2007
Literatura, lenguaje y "realidad": La relacion entre la literatura y sus referentes socio-historicos segun Rayuela y Tres tristes tigres
Erin N Laureano
2007
Corpus ID: 191128590
1990
1990
Visita domiciliària del nounat
E. Castells
,
E. Bassas
,
D. G. Corbatera
1990
Corpus ID: 193912496
espanolSe presenta la experiencia durante un ario de visita domiciliaria del recien nacido, dentro de un Area Basica de Salud en…
Expand
1984
1984
Terminating Turing Machine Computations and the Complexity and/or decidability of Correspondence Problems, Grammars, and Program Schemes
H. Hunt
JACM
1984
Corpus ID: 18896803
Presentation de trois problemes de decision naturels: un pour les problemes de correspondance et de grammaires CF lineaires, un…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE