All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Hanf numbers via accessible images

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F17%3A00101021" target="_blank" >RIV/00216224:14310/17:00101021 - isvavai.cz</a>

  • Result on the web

    <a href="https://doi.org/10.23638/LMCS-13(2:11)2017" target="_blank" >https://doi.org/10.23638/LMCS-13(2:11)2017</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.23638/LMCS-13(2:11)2017" target="_blank" >10.23638/LMCS-13(2:11)2017</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Hanf numbers via accessible images

  • Original language description

    We present several new model-theoretic applications of the fact that, under the assumption that there exists a proper class of almost strongly compact cardinals, the powerful image of any accessible functor is accessible. In particular, we generalize to the context of accessible categories the recent Hanf number computations of Baldwin and Boney, namely that in an abstract elementary class (AEC) if the joint embedding and amalgamation properties hold for models of size up to a sufficiently large cardinal, then they hold for models of arbitrary size. Moreover, we prove that, under the above-mentioned large cardinal assumption, every metric AEC is strongly d-tame, strengthening a result of Boney and Zambrano and pointing the way to further generalizations.

  • Czech name

  • Czech description

Classification

  • Type

    J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database

  • CEP classification

  • OECD FORD branch

    10101 - Pure mathematics

Result continuities

  • Project

    <a href="/en/project/GBP201%2F12%2FG028" target="_blank" >GBP201/12/G028: Eduard Čech Institute for algebra, geometry and mathematical physics</a><br>

  • Continuities

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Others

  • Publication year

    2017

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Name of the periodical

    Logical Methods in Computer Science

  • ISSN

    1860-5974

  • e-ISSN

  • Volume of the periodical

    13

  • Issue of the periodical within the volume

    2

  • Country of publishing house

    DE - GERMANY

  • Number of pages

    15

  • Pages from-to

    1-15

  • UT code for WoS article

    000419160800006

  • EID of the result in the Scopus database

    2-s2.0-85041840147