Kurt Gödel Society

Isomorphism relations on computable structures

Ekaterina Fokina, Sy‐David Friedman, Valentina Harizanov et al. · Journal of Symbolic Logic · 2012 · 73 citations · Full text

Mathematical Structure, Engineering, Abstract Complexity +11

LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE

Albert Atserias, Moritz Müller, Sergi Oliva · Journal of Symbolic Logic · 2015 · 35 citations · Full text

Graph Theory, Cnf Encoding, Lower Bound Proof +6

REPRESENTATIONS OF IDEALS IN POLISH GROUPS AND IN BANACH SPACES

Piotr Borodulin–Nadzieja, Barnabás Farkas, Grzegorz Plebanek · Journal of Symbolic Logic · 2015 · 28 citations

Following Theorems, Abstract Algebra, Representation Theory +5

Rank-into-rank hypotheses and the failure of GCH

Vincenzo Dimonte, Sy‐David Friedman · Archive for Mathematical Logic · 2014 · 14 citations · Full text

Statistical Inference, Statistical Foundation, Statistics +1

Large cardinals and locally defined well-orders of the universe

David Asperó, Sy‐David Friedman · Annals of Pure and Applied Logic · 2008 · 14 citations

Cosmology, Order Theory, Large Cardinals +1