( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Ackermann and Goodstein go functorial

, , , и . Pacific Journal of Mathematics, 313 (2): 251-291 (2021)
DOI: 10.2140/pjm.2021.313.251

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Hsiao-Mei Juan

Alexander Juan

Máximo Aguilera

Carlos Aguilera

Pere Juan i Tous

 

Другие публикации лиц с тем же именем

On the maximization of menu-dependent interval orders., и . Soc. Choice Welf., 48 (2): 357-366 (2017)Shortening Clopen Games.. J. Symb. Log., 86 (4): 1541-1554 (2021)The order of Reflection.. J. Symb. Log., 86 (4): 1555-1583 (2021)Unsound Inferences Make Proofs Shorter., и . J. Symb. Log., 84 (1): 102-122 (2019)The number of axioms., , и . Ann. Pure Appl. Log., 173 (5): 103078 (2022)Feedback hyperjump., и . J. Log. Comput., 31 (1): 20-39 (2021)The Löwenheim-Skolem theorem for Gödel logic.. Ann. Pure Appl. Log., 174 (4): 103235 (апреля 2023)Determinate logic and the Axiom of Choice.. Ann. Pure Appl. Log., (2020)Strong Completeness of Provability Logic for Ordinal Spaces., и . J. Symb. Log., 82 (2): 608-628 (2017)Goodstein’s theorem meets reverse mathematics (abstract), , , и . Oberwolfach Report, (2020)