MétaCan
Menu
Retour à la cohorte
Enregistrement W4235614170 · doi:10.4171/owr/2005/55

Set Theory

2006· article· en· W4235614170 sur OpenAlexaboutno aff
Sy‐David Friedman, Menachem Magidor, W. Hugh Woodin

Notice bibliographique

RevueOberwolfach Reports · 2006
Typearticle
Langueen
DomaineMathematics
ThématiqueAdvanced Topology and Set Theory
Établissements canadiensnon disponible
Organismes subventionnairesnon disponible
Mots-clésPhysicsComputer scienceMathematics

Résumé

récupéré en direct d'OpenAlex

This meeting was organised by Sy-David Friedman (University of Vienna), Menachem Magidor (Hebrew University, Jerusalem) and Hugh Woodin (University of California, Berkeley). Largely due to the generous EU support for the meeting, we were able to invite an unusually large number of young researchers (at most 10 years after the beginning of doctoral studies). We consequently chose an unusual format for the meeting, in which young people were given priority in the scheduling of lectures. This turned out to be a good choice, as the quality of these lectures was extremely high, giving us an excellent opportunity to learn about the new talent that has recently come into our field. 45-minute lectures were delivered by Krueger (Vienna), Dobrinen (Vienna), Camerlo (Torino), Zoble (Toronto), Geschke (Berlin), König (Paris), Viale (Paris), Asperó (Barcelona), Sharon (Irvine) and Lopez-Abad (Paris). These young people presented striking new results concerning combinatorial set theory, descriptive set theory, set-theoretic analysis and forcing axioms. One of the most impressive of these new results was that of Viale, who established a connection between two important set-theoretic principles, by showing that the singular cardinal hypothesis follows from the proper forcing axiom. Shorter lectures (20 to 30 minutes) were given by the more senior researchers. In total, lectures were held by 29 of the 59 participants. By restricting the number and length of these lectures, we were able to leave substantial time for private discussion. The 15-minute breaks between lectures were especially appreciated, giving the meeting a relaxed feeling. The traditional Wednesday afternoon walk was a success. The Schwarzwaldkirschtorte in Wolfach was superb, and despite the rain and getting (slightly) lost in the dark, everyone made it safely back to the institute in time for dinner.

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.

Comment cette classification a été obtenuedéplier

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: Théorique ou conceptuel
GenreSignal candidat: Empirique · Signal consensuel: Empirique
Score de désaccord entre enseignants0,305
Score d'incertitude au seuil0,791

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,000
Études des sciences et des technologies0,0000,000
Communication savante0,0000,000
Science ouverte0,0000,000
Intégrité de la recherche0,0000,000
Charge utile insuffisante (le modèle a refusé de juger)0,0010,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,028
Tête enseignante GPT0,308
Écart entre enseignants0,281 · 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

Classification

machine, non validée

Prédiction automatique; un appel candidat d’une seule tête enseignante, pas un consensus.

Les modèles n’ont appliqué aucune catégorie : rien dans la taxonomie ne correspondait à ce travail.
Devis d'étudeThéorique ou conceptuel
Domainenon disponible
GenreEmpirique

Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».

En bref

Citations0
Publié2006
Routes d'admission1
Résumé présentoui

Explorer davantage

Même revueOberwolfach ReportsMême sujetAdvanced Topology and Set TheoryTravaux en français237 207