About: Effective and recursion-theoretic model theory

Documentation

scienceplus.abes.fr version Bêta

scienceplus.abes.fr | explorer

À propos de : Effective and recursion-theoretic model theory Goto Sponge NotDistinct Permalink

Attributs	Valeurs
type	Concept
rdfs:seeAlso	Theory of numerations, effectively presented structures
skos:inScheme	MSC 2010
broader concept	Model theory
skos:prefLabel	Teoria dei modelli effettiva e ricondotta alla teoria della ricorsione Effective and recursion-theoretic model theory 有效和递归论模型论 ÐÑÑÐµÐºÑÐ¸Ð²Ð½Ð°Ñ Ð¸ ÑÐµÐ¾ÑÐµÑÐ¸ÐºÐ¾-ÑÐµÐºÑÑÑÐ¸Ð²Ð½Ð°Ñ ÑÐµÐ¾ÑÐ¸Ñ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹
skos:exactMatch	http://msc2010.org/resources/MSC/2000/03C57
skos:altLabel	Teoria dei modelli effettiva e ricondotta alla teoria della ricorsione [Vedi anche 03D45] Effective and recursion-theoretic model theory [See also 03D45] 有效和递归论模型论[参见03D45]
http://msc2010.org...0/msc2010#seeAlso	Theory of numerations, effectively presented structures
skos:closeMatch	from MSC1991 value of: Recursion-theoretic model theory, [See also 03D45]
skos:notation	03C57
skos:note	See also 03D45.
skos:semanticRelation	Theory of numerations, effectively presented structures
is rdfs:seeAlso of	Theory of numerations, effectively presented structures
is Subject of	Weakly maximal decidable structures
is narrower concept of	Model theory
is http://msc2010.org...0/msc2010#seeAlso of	Theory of numerations, effectively presented structures
is skos:semanticRelation of	Theory of numerations, effectively presented structures

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata