Zobrazeno 1 - 10
of 321
pro vyhledávání: '"Transfinite induction"'
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.
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:
DOBBS, DAVID E., HEITMANN, RAYMOND C.
Publikováno v:
The Rocky Mountain Journal of Mathematics, 2014 Jan 01. 44(5), 1471-1503.
Externí odkaz:
https://www.jstor.org/stable/26409385
Autor:
William R. Stirton
Publikováno v:
Archive for Mathematical Logic. 61:317-343
Sections 1 through 4 define, in the usual inductive style, various classes of object including one which is called the “combinatory terms of polymorphic type”. Section 5 defines a reduction relation on these terms. Section 6 shows that the weak n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd97471301bcb4118135665b162abce8
https://doi.org/10.1007/s00153-021-00792-5
https://doi.org/10.1007/s00153-021-00792-5
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:
B. Ebanks
Publikováno v:
Acta Mathematica Hungarica. 164:533-555
The sine addition formula on a semigroup S is the functional equation $$f(xy) = f(x)g(y) + g(x)f(y)$$ for all $$x,y \in S$$ . For some time the solutions have been known on groups, regular semigroups, and semigroups which are generated by their squar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0a53f2c93c008fc7c5ce452bc77c840
https://doi.org/10.1007/s10474-021-01149-3
https://doi.org/10.1007/s10474-021-01149-3
Autor:
Vasil Penchev
A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fb699639aadf314515360206b45ca77
https://doi.org/10.31235/osf.io/5qxua
https://doi.org/10.31235/osf.io/5qxua
Autor:
Vasil Penchev
A principle, according to which any scientific theory can be mathematized, is investigated. Social science, liberal arts, history, and philosophy are meant first of all. That kind of theory is presupposed to be a consistent text, which can be exhaust
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b81cf3da831e35969674e49a933838ed
https://philpapers.org/rec/PENASA-5
https://philpapers.org/rec/PENASA-5
Autor:
Z. Kánnai
Publikováno v:
Acta Mathematica Hungarica. 159:124-130
We give a recursion-like theorem which enables us to encode the elements of the real Borel class by infinite sequences of integers. This fact implies that the cardinality of the Borel class is not above continuum, without depending on cumbrous tools
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::09c49e963e636168cb7f75f7dff1924a
https://doi.org/10.1007/s10474-019-00986-7
https://doi.org/10.1007/s10474-019-00986-7