Personal information

set theory, axiom of choice, large cardinals, forcing axioms, iterated forcing
United Kingdom

Activities

Employment (4)

University of Leeds: Leeds, GB

2022-04-01 to present | University Academic Fellow (School of Mathematics)
Employment
Source: Self-asserted source
Asaf Karagila

University of East Anglia: Norwich, Norfolk, GB

2020-07-01 to 2022-03-31 | Future Leaders Fellow (School of Mathematics)
Employment
Source: Self-asserted source
Asaf Karagila

University of East Anglia: Norwich, Norfolk, GB

2018-03-01 to 2020-03-31 | Newton International Fellow (School of Mathematics)
Employment
Source: Self-asserted source
Asaf Karagila

Technische Universität Wien: Wien, Wien, AT

2017-10-02 to 2018-02-28 | Postdoc (Institute of Discrete Mathematics and Geometry)
Employment
Source: Self-asserted source
Asaf Karagila

Education and qualifications (2)

Hebrew University of Jerusalem Faculty of Science: Givat Ram, IL

2012-10-21 to 2017-11-02 | Ph.D. (Mathematics)
Education
Source: Self-asserted source
Asaf Karagila

Ben-Gurion University of the Negev: Beer-Sheva, IL

2010-10 to 2012-09 | M.Sc. (Mathematics)
Education
Source: Self-asserted source
Asaf Karagila

Funding (3)

Understanding the axioms II: Symmetric extensions for large cardinal axioms

2024-09-30 to 2027-09-29 | Grant
UK Research and Innovation (Swindon, GB)
GRANT_NUMBER: MR/Y034058/1
Source: Self-asserted source
Asaf Karagila via DimensionsWizard

Understanding the axioms: the interactions of the Axiom of Choice with large cardinal axioms

2020-06-30 to 2024-06-29 | Grant
UK Research and Innovation (Swindon, GB)
GRANT_NUMBER: MR/T021705/1
Source: Self-asserted source
Asaf Karagila via DimensionsWizard

High Forcing Axioms: Forcing Axioms for the Uncountable

Source: Self-asserted source
Asaf Karagila via DimensionsWizard

Works (17)

Which pairs of cardinals can be Hartogs and Lindenbaum numbers of a set?

Fundamenta Mathematicae
2024 | Journal article
Part of ISSN: 1730-6329
Contributors: Asaf Karagila; Calliope Ryan-Smith
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search

Geometric Condition For Dependent Choice

Acta Mathematica Hungarica
2024-01-31 | Journal article
Part of ISSN: 1588-2632
Contributors: A. Karagila; J. Schilhan
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search

Sequential and distributive forcings without choice

Canadian Mathematical Bulletin
2023-09 | Journal article
Contributors: Asaf Karagila; Jonathan Schilhan
Source: check_circle
Crossref

Choiceless chain conditions

European Journal of Mathematics
2022-11 | Journal article
Contributors: Asaf Karagila; Noah Schweber
Source: check_circle
Crossref

Kelley–Morse set theory does not prove the class Fodor principle

Fundamenta Mathematicae
2021 | Journal article
Part of ISSN: 0016-2736
Contributors: Victoria Gitman; Joel David Hamkins; Asaf Karagila
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search

How to have more things by forgetting how to count them

Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
2020-07 | Journal article
Part of ISSN: 1364-5021
Contributors: Asaf Karagila; Philipp Schlicht
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search
grade
Preferred source (of 2)‎

DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS

The Review of Symbolic Logic
2020-07-02 | Journal article
Part of ISSN: 1755-0203
Contributors: DAVID ASPERÓ; ASAF KARAGILA
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search

Critical cardinals

Israel Journal of Mathematics
2020-04-04 | Journal article
Part of ISSN: 0021-2172
Contributors: Yair Hayut; Asaf Karagila
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search

Preserving Dependent Choice

Bulletin of the Polish Academy of Sciences Mathematics
2019 | Journal article
Part of ISSN: 0239-7269
Contributors: Asaf Karagila
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search

REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS

The Bulletin of Symbolic Logic
2019 | Journal article
Part of ISSN: 1079-8986
Contributors: ASAF KARAGILA
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search

Spectra of uniformity

Commentationes Mathematicae Universitatis Carolinae
2019-10-04 | Journal article
Part of ISSN: 0010-2628
Contributors:  Hayut Yair; Karagila Asaf
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search

The Morris model

Proceedings of the American Mathematical Society
2019-09 | Journal article
Part of ISSN: 0002-9939
Contributors: Asaf Karagila
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search
grade
Preferred source (of 2)‎

ITERATING SYMMETRIC EXTENSIONS

The Journal of Symbolic Logic
2019-03 | Journal article
Part of ISSN: 0022-4812
Contributors: ASAF KARAGILA
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search

The Bristol model: An abyss called a Cohen real

Journal of Mathematical Logic
2018-05 | Journal article
Part of ISSN: 0219-0613
Contributors: Asaf Karagila
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search

Fodor’s lemma can fail everywhere

Acta Mathematica Hungarica
2017-10 | Journal article
Contributors: A. Karagila
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search

Restrictions on forcings that change cofinalities

Archive for Mathematical Logic
2016-05 | Journal article
Contributors: Yair Hayut; Asaf Karagila
Source: check_circle
Crossref

Embedding orders into the cardinals with \mathsf DCκ

Fundamenta Mathematicae
2014 | Journal article
Part of ISSN: 0016-2736
Contributors: Asaf Karagila
Source: Self-asserted source
Asaf Karagila via Crossref Metadata Search