Lógica Matemática

    Integration in non-archimedean real closed fields with archimedean value group (part 3)

    Mário Edmundo
    CMAF-CIO, Universidade de Lisboa

    Abstract: In this seminar we present (some of) the recent the work of Tobias Kaiser (Univ. Passau) establishing, for the categories of semi-algebraic functions, globally sub-analytic functions and more generally constructible functions on non archimedean real closed fields with archimedean value group, a full Lebesgue like integration theory.

    Integration in non-archimedean real closed fields with archimedean value group (part 2)

    Mário Edmundo
    CMAF-CIO, Universidade de Lisboa

    Abstract: In this seminar we present (some of) the recent the work of Tobias Kaiser (Univ. Passau) establishing, for the categories of semi-algebraic functions, globally sub-analytic functions and more generally constructible functions on non archimedean real closed fields with archimedean value group, a full Lebesgue like integration theory.

    Integration in non-archimedean real closed fields with archimedean value group

    Mário Edmundo
    CMAF-CIO, Universidade de Lisboa

    Abstract: In this seminar we present (some of) the recent the work of Tobias Kaiser (Univ. Passau) establishing, for the categories of semi-algebraic functions, globally sub-analytic functions and more generally constructible functions on non archimedean real closed fields with archimedean value group, a full Lebesgue like integration theory.

    Analytic determinacy (part 5 and last)

    António Fernandes
    Instituto Superior Técnico, Universidade de Lisboa

    Abstract: The purpose of this talk (eventually a series of talks) is to exhibit a proof (by Donald Martin) that analytic determinacy holds under a certain large cardinal hypothesis. In fact we intend to convey a little bit more than just the content of this proof, we will try to enlighten the deep connection between determinacy, which is a game related concept, and the theory of definable sets of reals.

    Analytic determinacy (part 4)

    António Fernandes
    Instituto Superior Técnico

    Abstract: 

    The purpose of this talk (eventually a series of talks) is to exhibit a proof (by Donald Martin) that analytic determinacy holds under a certain large cardinal hypothesis. In fact we intend to convey a little bit more than just the content of this proof, we will try to enlighten the deep connection between determinacy, which is a game related concept, and the theory of definable sets of reals.

    Analytic determinacy (part 3)

    António Fernandes
    Instituto Superior Técnico

    Abstract: The purpose of this talk (eventually a series of talks) is to exhibit a proof (by Donald Martin) that analytic determinacy holds under a certain large cardinal hypothesis. In fact we intend to convey a little bit more than just the content of this proof, we will try to enlighten the deep connection between determinacy, which is a game related concept, and the theory of definable sets of reals.

    Analytic determinacy (part 2)

    António Fernandes
    Instituto Superior Técnico

    Abstract: The purpose of this talk (eventually a series of talks) is to exhibit a proof (by Donald Martin) that analytic determinacy holds under a certain large cardinal hypothesis. In fact we intend to convey a little bit more than just the content of this proof, we will try to enlighten the deep connection between determinacy, which is a game related concept, and the theory of definable sets of reals.

    Páginas