MétaCan
Menu
← Retour à la cohorte
Enregistrement W2023707737 · doi:10.1090/s0002-9939-05-08086-x

A minimal pair of đŸ-degrees

2005· article· en· W2023707737 sur OpenAlex

Pourquoi ce travail est dans la base

Une base qui oublie comment elle a trouvĂ© un travail ne peut pas ĂȘtre vĂ©rifiĂ©e. Voici les voies qui ont admis celui-ci.

affAu moins un auteur déclare une institution canadienne dans l'instantané OpenAlex épinglé.

Notice bibliographique

RevueProceedings of the American Mathematical Society · 2005
Typearticle
Langueen
DomaineComputer Science
ThématiqueComputability, Logic, AI Algorithms
Établissements canadiensUniversity of Waterloo
Organismes subventionnairesNational Science Foundation
Mots-clésComputer science

Résumé

récupéré en direct d'OpenAlex

We construct a minimal pair of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -degrees. We do this by showing the existence of an unbounded nondecreasing function <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="f"> <mml:semantics> <mml:mi>f</mml:mi> <mml:annotation encoding="application/x-tex">f</mml:annotation> </mml:semantics> </mml:math> </inline-formula> which forces <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -triviality in the sense that <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="gamma element-of 2 Superscript omega"> <mml:semantics> <mml:mrow> <mml:mi> Îł </mml:mi> <mml:mo> ∈ </mml:mo> <mml:msup> <mml:mn>2</mml:mn> <mml:mi> ω </mml:mi> </mml:msup> </mml:mrow> <mml:annotation encoding="application/x-tex">\gamma \in 2^\omega</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -trivial if and only if for all <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="n"> <mml:semantics> <mml:mi>n</mml:mi> <mml:annotation encoding="application/x-tex">n</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K left-parenthesis gamma up harpoon with barb right n right-parenthesis less-than-or-equal-to upper K left-parenthesis n right-parenthesis plus f left-parenthesis n right-parenthesis plus script upper O left-parenthesis 1 right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>K</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi> Îł </mml:mi> <mml:mo stretchy="false"> ↟ </mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mo> ≀ </mml:mo> <mml:mi>K</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mo>+</mml:mo> <mml:mi>f</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mo>+</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">K(\gamma \upharpoonright n) \leq K(n) + f(n)+ \mathcal {O}(1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> .

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.

Prédiction distillée sur la base complÚte

Imitation des enseignants

Ni prĂ©valence calibrĂ©e, ni vĂ©ritĂ© terrain. Validation humaine Ă  venir. Apprise Ă  partir de 10 348 Ă©tiquettes directes de Codex et de 10 348 Ă©tiquettes directes de Gemma. Le mode candidate est l'union des tĂȘtes enseignantes seuillĂ©es; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des Ă©tiquettes humaines ni des Ă©tiquettes directes de modĂšles de pointe.

score de la tĂȘte « metaresearch » (Codex)0,001
score de la tĂȘte « metaresearch » (Gemma)0,000
Version: codex-gemma-dda1882f352aStatut de validation: machine_predicted_unvalidated
Catégories candidatesaucune
Catégories consensuellesaucune
DomaineSignal candidat: aucune · Signal consensuel: aucune
Devis d'étudeSignal candidat: Théorique ou conceptuel · Signal consensuel: aucune
GenreSignal candidat: Empirique · Signal consensuel: Empirique
Score de désaccord entre enseignants0,697
Score d'incertitude au seuil0,484

Scores Codex et Gemma par catégorie

CatégorieCodexGemma
Métarecherche0,0010,000
Méta-épidémiologie (sens strict)0,0000,000
Méta-épidémiologie (sens large)0,0000,000
Bibliométrie0,0000,001
Études des sciences et des technologies0,0000,001
Communication savante0,0000,000
Science ouverte0,0020,001
Intégrité de la recherche0,0000,000
Charge utile insuffisante (le modÚle a refusé de juger)0,0000,000

Scores machine (provisoires)

Les deux tĂȘtes enseignantes du modĂšle Ă©tudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catĂ©gorie, et le statut de validation accompagne chaque rangĂ©e tel quel.

Scores de référence d'un modÚle non mature (critÚres de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.

TĂȘte enseignante Opus0,014
TĂȘte enseignante GPT0,244
Écart entre enseignants0,230 · la distance entre les deux tĂȘtes enseignantes sur ce seul travail
Statut de validationscore_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découle