Zobrazeno 1 - 10
of 1 448
pro vyhledávání: '"Platek, P."'
Autor:
Shu, Shuangshuang, Rathjen, Michael
We prove that, over Kripke-Platek set theory with infinity (KP), transfinite induction along the ordinal ${\epsilon}_{\Omega+1}$ is equivalent to the schema asserting the soundness of KP, where $\Omega$ denotes the supremum of all ordinals in the uni
Externí odkaz:
http://arxiv.org/abs/2212.02843
Autor:
Iemhoff, Rosalie, Passmann, Robert
We investigate the logical structure of intuitionistic Kripke-Platek set theory IKP, and show that the first-order logic of IKP is intuitionistic first-order logic IQC.
Externí odkaz:
http://arxiv.org/abs/2007.05450
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Rathjen, Michael
Whilst Power Kripke-Platek set theory, KPP, shares many properties with ordinary Kripke-Platek set theory, KP, in several ways it behaves quite differently from KP. This is perhaps most strikingly demonstrated by a result, due to Mathias, to the effe
Externí odkaz:
http://arxiv.org/abs/1801.01897
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Cook, Jacob, Rathjen, Michael
Until the 1970s, proof theoretic investigations were mainly concerned with theories of inductive definitions, subsystems of analysis and finite type systems. With the pioneering work of Gerhard Jaeger in the late 1970s and early 1980s, the focus swit
Externí odkaz:
http://arxiv.org/abs/1603.03358
Autor:
Schmidtová, Patrícia, Mahamood, Saad, Balloccu, Simone, Dušek, Ondřej, Gatt, Albert, Gkatzia, Dimitra, Howcroft, David M., Plátek, Ondřej, Sivaprasad, Adarsa
Automatic metrics are extensively used to evaluate natural language processing systems. However, there has been increasing focus on how they are used and reported by practitioners within the field. In this paper, we have conducted a survey on the use
Externí odkaz:
http://arxiv.org/abs/2408.09169
We present factgenie: a framework for annotating and visualizing word spans in textual model outputs. Annotations can capture various span-based phenomena such as semantic inaccuracies or irrelevant text. With factgenie, the annotations can be collec
Externí odkaz:
http://arxiv.org/abs/2407.17863
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.