Concepedia

David Asperó

DA

Statistics

Publications

6

Citations

100

H-Index

6

Active since

2001

Affiliations

University of East Anglia(Current)

Universitat de Barcelona

David Asperó is an author at University of East Anglia specializing in automated reasoning, epistemology, and cognitive science.

Top concepts

Automated ReasoningCosmologyEpistemologyFormal MethodsDecision TheorySocial SciencesCognitive Science

Publications per year

2001–2021

6

Publications

6

Martin's Maximum${}^{++}$ implies Woodin's axiom $(*)$

David Asperó, Ralf Schindler · Annals of Mathematics · 2021 · 30 citations

Extremal Set Theory, Set-theoretic Topology, Foundation Of Mathematics +2

Forcing consequences of $PFA$ together with the continuum large

David Asperó, Miguel Ángel Mota · Transactions of the American Mathematical Society · 2015 · 22 citations

Forcing Axiom, Order Theory, Symmetric Systems +6

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

Forcing axioms and the continuum hypothesis

David Asperó, Paul Larson, Justin Tatch Moore · Acta Mathematica · 2013 · 12 citations · Full text

Continuum Hypothesis, Paraconsistent Logic, Automated Reasoning +8

Bounded forcing axioms and the continuum

David Asperó, Joan Bagaria · Annals of Pure and Applied Logic · 2001 · 12 citations

Foundation Of Mathematics, Set-theoretic Topology, Forcing Axioms +1

1–5 of 6