affunlabeled
Hyperlinear and Sofic Groups: A Brief GuideVladimir Pestov
2008· article· en· Bulletin of Symbolic Logic· Mathematics
distilled prediction:candidate · noneconsensus · none
172
citations
Cohort builder
4,299,418 works, Canadian by any of four routes.
Every filter state is a URL; the URL is the query; the query is citable via /q/⟨hash⟩. The page, the API and the export parse the same parameters.
The current cohort, streamed from the database: every work column, the machine labels, the provisional scores, and the per-row validation status. Exports are capped at 100,000 rows. Mints a permanent /q/ link for this exact query. The same filters always produce the same link, whoever asks.
Results by year
20002025
Publication date
Categories
Machine labels · sparse coverage
Evidence
Language
Type
Citations
An unlabeled work is unknown, not a negative. Label coverage is reported on every query.
52 works in the cohort · of 4,299,418page 1 of 2
Labels cover 0 of 52 works in this cohort. The rest are unlabeled, which is not a negative label: the label table is sparse today and grows as labeling rounds land.
Distilled predictions cover 52 of 52 works in this cohort. Predictions are machine_predicted_unvalidated teacher distillation outputs. Candidate is the union; consensus is the intersection.
affunlabeled
Combinatorial Dichotomies in Set TheoryStevo Todorčević
2011· article· en· Bulletin of Symbolic Logic· Mathematics
distilled prediction:candidate · insufficient_payloadconsensus · none
29
citations
affunlabeled
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
distilled prediction:candidate · noneconsensus · none
29
citations
affunlabeled
What is Neologicism?Bernard Linsky, Edward N. Zalta
2006· article· en· Bulletin of Symbolic Logic· Psychology
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
29
citations
affunlabeled
Early History of the Generalized Continuum Hypothesis: 1878–1938Gregory Moore
2011· article· en· Bulletin of Symbolic Logic· Physics and Astronomy
distilled prediction:candidate · insufficient_payloadconsensus · none
25
citations
affunlabeled
Von Neumann, Gödel and Complexity TheoryAlasdair Urquhart
2010· article· en· Bulletin of Symbolic Logic· Computer Science
distilled prediction:candidate · noneconsensus · none
18
citations
affunlabeled
Grothendieck Rings of ℤ-Valued FieldsRaf Cluckers, Deirdre Haskell
2001· article· en· Bulletin of Symbolic Logic· Mathematics
distilled prediction:candidate · insufficient_payloadconsensus · none
12
citations
affunlabeled
COMPUTABILITY AND THE CONNES EMBEDDING PROBLEMIsaac Goldbring, Bradd Hart
2016· article· en· Bulletin of Symbolic Logic· Mathematics
distilled prediction:candidate · noneconsensus · none
10
citations
affunlabeled
RUSSELL AND GÖDELAlasdair Urquhart
2016· article· en· Bulletin of Symbolic Logic· Psychology
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
7
citations
affunlabeled
The Horn theory of Boole's partial algebrasStanley Burris, H. P. Sankappanavar
2013· article· en· Bulletin of Symbolic Logic· Computer Science
distilled prediction:candidate · noneconsensus · none
7
citations
affunlabeled
Non-standard lattices and o-minimal groupsPantelis E. Eleftheriou
2013· article· en· Bulletin of Symbolic Logic· Mathematics
distilled prediction:candidate · insufficient_payloadconsensus · none
5
citations
fundno affunlabeled
STRONG COLORINGS OVER PARTITIONS2021· article· en· Bulletin of Symbolic Logic· Mathematics
distilled prediction:candidate · insufficient_payloadconsensus · none
5
citations
affunlabeled
Incompleteness in a General SettingJohn Bell
2007· article· en· Bulletin of Symbolic Logic· Computer Science
distilled prediction:candidate · noneconsensus · none
4
citations
affunlabeled
Almost Disjoint Families and Diagonalizations of Length ContinuumDilip Raghavan
2010· article· en· Bulletin of Symbolic Logic· Mathematics
distilled prediction:candidate · noneconsensus · none
4
citations
afffundunlabeled
CORONA RIGIDITYIlijas Farah, Saeed Ghasemi, Andrea Vaccaro, Alessandro Vignati
2025· article· en· Bulletin of Symbolic Logic· Economics, Econometrics and Finance
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
4
citations
affunlabeled
EXISTENTIAL-IMPORT MATHEMATICSJohn Corcoran, Hassan Masoud
2015· article· en· Bulletin of Symbolic Logic· Computer Science
distilled prediction:candidate · noneconsensus · none
3
citations
fundno affunlabeled
Borel Reductibility and Classification of von Neumann AlgebrasRomán Sasyk, Asger Törnquist
2009· article· en· Bulletin of Symbolic Logic· Mathematics
distilled prediction:candidate · noneconsensus · none
3
citations
affunlabeled
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
distilled prediction:candidate · noneconsensus · none
3
citations
affunlabeled
Enumerating Types of Boolean FunctionsAlasdair Urquhart
2009· article· en· Bulletin of Symbolic Logic· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
affunlabeled
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
distilled prediction:candidate · metaepi_narrowconsensus · none
2
citations
fundno affunlabeled
ASSOCIATION FOR SYMBOLIC LOGIC2025· article· en· Bulletin of Symbolic Logic· Computer Science
distilled prediction:candidate · noneconsensus · none
1
citations
afffundunlabeled
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
distilled prediction:candidate · noneconsensus · none
1
citations
affunlabeled
Model Theory of Analytic Functions: Some Historical CommentsDeirdre Haskell
2012· article· en· Bulletin of Symbolic Logic· Mathematics
distilled prediction:candidate · noneconsensus · none
1
citations
affunlabeled
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
distilled prediction:candidate · metaepi_narrowconsensus · none
1
citations
affunlabeled
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
distilled prediction:candidate · noneconsensus · none
0
citations
affaboutunlabeled
New Results in Model Theory and Set TheoryClovis Hamel
2024· article· en· Bulletin of Symbolic Logic· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
fundno affunlabeled
NOTICES2023· article· en· Bulletin of Symbolic Logic· Agricultural and Biological Sciences
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
BSL volume 28 issue 4 Cover and Front matterJames Cummings, Guram Bezhanishvili, Katalin Bimbó, Paola Aquino, Peter Dybjer, Ali Enayat +5 more
2022· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affunlabeled
Geometric Cardinal Invariants, Maximal Functions and a Measure Theoretic Pigeonhole PrincipleJuris Steprāns
2005· article· en· Bulletin of Symbolic Logic· Mathematics
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
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
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
aboutno affunlabeled
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
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
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
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
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
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
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
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
affunlabeled
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
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
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
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
BSL volume 21 issue 2 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 more
2015· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affunlabeled
BSL volume 21 issue 3 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 more
2015· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affunlabeled
BSL volume 21 issue 1 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 more
2015· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affunlabeled
BSL volume 20 issue 4 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 more
2014· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affunlabeled
BSL volume 20 issue 3 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 more
2014· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affunlabeled
BSL volume 20 issue 2 Cover and Front matterFrank R. Wagner, Patricia Blanchette, Menachem Kojman, Andrea Cantini, Leonid Libkin, Thierry Coquand +12 more
2014· article· en· Bulletin of Symbolic Logic· Economics, Econometrics and Finance
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affunlabeled
New Programs and Open Problems in the Foundation of MathematicsGiuseppe Longo, Pat Scott
2003· article· en· Bulletin of Symbolic Logic· Mathematics
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
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
distilled prediction:candidate · metaepi_narrow+sts+open_science+research_integrityconsensus · metaepi_narrow+sts+research_integrity
0
citations
affunlabeled
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
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
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
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
fundno affunlabeled
NOTICESPhokion G. Kolaitis, Santa Cruz, Christina Brech, Bahareh Afshari
2022· article· en· Bulletin of Symbolic Logic· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
BSL volume 22 issue 1 Cover and Front matterFrank R. Wagner, Laurent Bienvenu, Menachem Kojman, Patricia Blanchette, Leonid Libkin, Andrea Cantini +13 more
2016· article· en· Bulletin of Symbolic Logic· Business, Management and Accounting
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affunlabeled
BSL volume 22 issue 4 Cover and Front matterFrank R. Wagner, Laurent Bienvenu, Deirdre Haskell, Patricia Blanchette, Menachem Kojman, Andrea Cantini +13 more
2016· article· en· Bulletin of Symbolic Logic· Economics, Econometrics and Finance
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affunlabeled
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
distilled prediction:candidate · metaepi_narrow+insufficient_payloadconsensus · none
0
citations