Concepedia

Sy‐David Friedman

SF

Statistics

Publications

30

Citations

609

H-Index

15

Active since

2005

Affiliations

University of Vienna(Current)

Kurt Gödel Society

University of California, Berkeley

Charles University

University of Illinois Chicago

Sy‐David Friedman is an author at University of Vienna specializing in discrete mathematics, automated reasoning, and engineering.

Top concepts

EngineeringComputer ScienceAutomated ReasoningDiscrete MathematicsComputational ComplexityStatisticsGraph TheoryCosmologyEpistemologyFormal Methods

Publications per year

2005–2020

30

Publications

30

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

The hyperuniverse program

Tatiana Arrigoni, Sy‐David Friedman · Bulletin of Symbolic Logic · 2013 · 39 citations

Mathematical Content, Computational Science, Paraconsistent Logic +15

Internal Consistency and the Inner Model Hypothesis

Sy‐David Friedman · Bulletin of Symbolic Logic · 2006 · 38 citations

Cognitive Science, Paraconsistent Logic, Epistemology +9

Multiverse conceptions in set theory

Carolin Antos, Sy‐David Friedman, Radek Honzík et al. · Synthese · 2015 · 36 citations

Theory Building, Multiverse Conceptions

Perfect trees and elementary embeddings

Sy‐David Friedman, Katherine Thompson · Journal of Symbolic Logic · 2008 · 36 citations

Tree Language, Perfect Trees, Graph Theory +10

1–5 of 30