About: Tolerant sequence

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematical logic

Property	Value
dbo:description	in mathematical logic (en)
dbo:wikiPageExternalLink	http://www.csc.villanova.edu/~japaridz/ http://www.csc.villanova.edu/~japaridz/study.html
dbo:wikiPageWikiLink	dbc:Proof_theory dbr:Cointerpretability dbr:Mathematical_logic dbr:Interpretability_logic dbr:Giorgi_Japaridze dbr:Studia_Logica dbr:Theory_(mathematical_logic) dbr:Weak_interpretability dbr:Interpretability dbr:Peano_arithmetic dbr:Cotolerance
dct:subject	dbc:Proof_theory
rdfs:label	Tolerant sequence (en)
owl:sameAs	freebase:Tolerant sequence wikidata:Tolerant sequence dbpedia-global:Tolerant sequence
prov:wasDerivedFrom	wikipedia-en:Tolerant_sequence?oldid=995233861&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Tolerant_sequence
is dbo:wikiPageRedirects of	dbr:Tolerance_(in_logic)
is dbo:wikiPageWikiLink of	dbr:Tolerance dbr:Interpretability_logic dbr:Giorgi_Japaridze dbr:List_of_mathematical_logic_topics dbr:Tolerance_(in_logic)
is foaf:primaryTopic of	wikipedia-en:Tolerant_sequence

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International