affnon étiqueté
Hyperlinear and Sofic Groups: A Brief GuideVladimir Pestov
2008· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · aucuneconsensus · aucune
172
citations
Constructeur de cohorte
4 299 418 travaux, canadiens par l’une de quatre routes.
Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.
La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
52 travaux dans la cohorte · sur 4 299 418page 1 sur 2
Les étiquettes couvrent 0 des 52 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.
Les prédictions distillées couvrent 52 des 52 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le mode candidate est l'union; le consensus est l'intersection.
affnon étiqueté
Combinatorial Dichotomies in Set TheoryStevo Todorčević
2011· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
29
citations
affnon étiqueté
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGICPaolo Mancosu, Richard Zach
2015· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
29
citations
affnon étiqueté
What is Neologicism?Bernard Linsky, Edward N. Zalta
2006· article· en· Bulletin of Symbolic Logic· Psychology
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
29
citations
affnon étiqueté
Early History of the Generalized Continuum Hypothesis: 1878–1938Gregory Moore
2011· article· en· Bulletin of Symbolic Logic· Physics and Astronomy
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
25
citations
affnon étiqueté
Von Neumann, Gödel and Complexity TheoryAlasdair Urquhart
2010· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
18
citations
affnon étiqueté
Grothendieck Rings of ℤ-Valued FieldsRaf Cluckers, Deirdre Haskell
2001· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
12
citations
affnon étiqueté
COMPUTABILITY AND THE CONNES EMBEDDING PROBLEMIsaac Goldbring, Bradd Hart
2016· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · aucuneconsensus · aucune
10
citations
affnon étiqueté
RUSSELL AND GÖDELAlasdair Urquhart
2016· article· en· Bulletin of Symbolic Logic· Psychology
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
7
citations
affnon étiqueté
The Horn theory of Boole's partial algebrasStanley Burris, H. P. Sankappanavar
2013· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affnon étiqueté
Non-standard lattices and o-minimal groupsPantelis E. Eleftheriou
2013· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
5
citations
fundno affnon étiqueté
STRONG COLORINGS OVER PARTITIONS2021· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
5
citations
affnon étiqueté
Incompleteness in a General SettingJohn Bell
2007· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affnon étiqueté
Almost Disjoint Families and Diagonalizations of Length ContinuumDilip Raghavan
2010· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
afffundnon étiqueté
CORONA RIGIDITYIlijas Farah, Saeed Ghasemi, Andrea Vaccaro, Alessandro Vignati
2025· article· en· Bulletin of Symbolic Logic· Economics, Econometrics and Finance
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
4
citations
affnon étiqueté
EXISTENTIAL-IMPORT MATHEMATICSJohn Corcoran, Hassan Masoud
2015· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
fundno affnon étiqueté
Borel Reductibility and Classification of von Neumann AlgebrasRomán Sasyk, Asger Törnquist
2009· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp.R. A. G. Seely
2000· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
Enumerating Types of Boolean FunctionsAlasdair Urquhart
2009· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
2
citations
affnon étiqueté
Sergio Fajardo and H. Jerome Keisler . Model theory of stochastic processes, Lecture Notes in Logic, vol. 14. Association for Symbolic Logic, A K Peters, Ltd., Natick, Massachusetts, 2002, xii + 136 pp.Alasdair Urquhart
2004· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
2
citations
fundno affnon étiqueté
ASSOCIATION FOR SYMBOLIC LOGIC2025· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
1
citations
afffundnon étiqueté
WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?Will Boney, Barbara F. Csima, Nancy A. Day, Matthew Harrison‐Trainor
2023· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
1
citations
affnon étiqueté
Model Theory of Analytic Functions: Some Historical CommentsDeirdre Haskell
2012· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · aucuneconsensus · aucune
1
citations
affnon étiqueté
Shawn Hedman. A first course in logic: an introduction to model theory, proof theory, computability, and complexity. Oxford Texts in Logic 1. Oxford University Press, 2004, xx + 431 pp.Alasdair Urquhart
2007· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
1
citations
affnon étiqueté
The law of non-contradiction: New philosophical essays, edited by Graham Priest, J.C. Beall, and Bradley Armour-Garb, Oxford University Press, Oxford, 2004, xii + 443 pp.Francis Jeffry Pelletier
2006· article· en· Bulletin of Symbolic Logic· Arts and Humanities
prédiction distillée:candidate · aucuneconsensus · aucune
0
citations
affaboutnon étiqueté
New Results in Model Theory and Set TheoryClovis Hamel
2024· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
0
citations
fundno affnon étiqueté
NOTICES2023· article· en· Bulletin of Symbolic Logic· Agricultural and Biological Sciences
prédiction distillée:candidate · aucuneconsensus · aucune
0
citations
affnon étiqueté
BSL volume 28 issue 4 Cover and Front matterJames Cummings, Guram Bezhanishvili, Katalin Bimbó, Paola Aquino, Peter Dybjer, Ali Enayat +5 autres
2022· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affnon étiqueté
Geometric Cardinal Invariants, Maximal Functions and a Measure Theoretic Pigeonhole PrincipleJuris Steprāns
2005· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
0
citations
affnon étiqueté
Motivic integration and its interactions with model theory and non-Archimedean geometry, Volumes I and II, edited by Raf Cluckers, Johannes Nicaise and Julien Sebag, London Mathematical Society Lecture Note Series, 383 and 384. Cambridge University Press, Cambridge, 2011, 346 and 262 pp.Julia Gordon
2013· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
0
citations
aboutno affnon étiqueté
WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 20182018· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · aucuneconsensus · aucune
0
citations
affnon étiqueté
Nathan Salmon. Metaphysics, mathematics, and meaning. Collected papers, vol. 1. Oxford University Press, Oxford, 2005, xiv + 419 pp.Brian van den Broek
2008· article· en· Bulletin of Symbolic Logic· Psychology
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
0
citations
affnon étiqueté
Finitely Additive Measures on Topological Spaces and Boolean Algebras, University of East Anglia, UK, 2015. Supervised by Mirna DžamonjaZanyar A. Ameen, Mirna Džamonja
2018· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
0
citations
affnon étiqueté
Itay Neeman and Jindřich Zapletal. <i>Proper forcings and absoluteness in L(ℝ)</i>. <b>Commentationes mathematicae Universitatis Carolinae</b>, vol. 39 (1998), pp. 281–301. - Itay Neeman and Jindřich Zapletal. <i>Proper forcing and L(ℝ)</i>. The journal of symbolic logic, vol. 66 (2001), pp. 801–810.Paul Larson
2002· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
0
citations
affnon étiqueté
Stevo Todorcevic. Introduction to Ramsey spaces. Annals of Mathematics Studies, vol. 174. Princeton University Press, New Jersey, 2010, 287 pp.Claude Laflamme
2011· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
0
citations
affnon étiqueté
Solomon Feferman. <i>Computation on abstract data types. The extensional approach, with an application to streams</i>. <b>Annals of pure and applied logic</b>, vol. 81 (1996), pp. 75–113.J. I. Zucker
2002· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
0
citations
affnon étiqueté
BSL volume 21 issue 2 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 autres
2015· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affnon étiqueté
BSL volume 21 issue 3 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 autres
2015· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affnon étiqueté
BSL volume 21 issue 1 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 autres
2015· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affnon étiqueté
BSL volume 20 issue 4 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 autres
2014· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affnon étiqueté
BSL volume 20 issue 3 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 autres
2014· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affnon étiqueté
BSL volume 20 issue 2 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 autres
2014· article· en· Bulletin of Symbolic Logic· Economics, Econometrics and Finance
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affnon étiqueté
New Programs and Open Problems in the Foundation of MathematicsGiuseppe Longo, Pat Scott
2003· article· en· Bulletin of Symbolic Logic· Mathematics
prédiction distillée:candidate · aucuneconsensus · aucune
0
citations
affnon étiqueté
George Boolos and Richard G. HeckJnr. Die Grundlagen der Arithmetik, §§82–3. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998, pp. 407–428. - Richard G. HeckJnr. The finite and the infinite in Frege's Grundgesetze der Arithmetik. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 429–466. - Crispin Wright. On the harmless impredicativity of N<sup>=</sup> (‘Hume's principle’). The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 339–368. - Michael Dummett. Neo-Fregeans: in bad company? The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 369–387. - Crispin Wright. Response to Dummett. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 389–405.William Demopoulos
2000· article· en· Bulletin of Symbolic Logic· Psychology
prédiction distillée:candidate · metaepi_narrow+sts+open_science+research_integrityconsensus · metaepi_narrow+sts+research_integrity
0
citations
affnon étiqueté
Uri Abraham, Matatyahu Rubin, and Saharon Shelah. <i>On the consistency of some partition theorems for continuous colorings, and the structure of ℵ<sub>1</sub>-dense real order types</i>. Annals of pure and applied logic, vol. 29 (1985), pp. 123–206.Juris Steprāns
2002· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
0
citations
affnon étiqueté
Peter Smith. An introduction to formal logic. Cambridge University Press, Cambridge, 2003, viii + 357 pp.David DeVidi
2004· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
0
citations
fundno affnon étiqueté
NOTICESPhokion G. Kolaitis, Santa Cruz, Christina Brech, Bahareh Afshari
2022· article· en· Bulletin of Symbolic Logic· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
0
citations
affnon étiqueté
BSL volume 22 issue 1 Cover and Front matterFrank R. Wagner, Laurent Bienvenu, Menachem Kojman, Patricia Blanchette, Leonid Libkin, Andrea Cantini +13 autres
2016· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affnon étiqueté
BSL volume 22 issue 4 Cover and Front matterFrank R. Wagner, Laurent Bienvenu, Deirdre Haskell, Patricia Blanchette, Menachem Kojman, Andrea Cantini +13 autres
2016· article· en· Bulletin of Symbolic Logic· Economics, Econometrics and Finance
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affnon étiqueté
Jan Dejnožka. Bertrand Russell on modality and logical relevance. Avebury series in philosophy. Ashgate, Aldershot, Brookfield, Vt., etc., 1999, ix + 241 pp.Bernard Linsky
2000· article· en· Bulletin of Symbolic Logic· Psychology
prédiction distillée:candidate · metaepi_narrow+insufficient_payloadconsensus · aucune
0
citations