Zobrazeno 1 - 10
of 138
pro vyhledávání: '"R A, Mathias"'
Autor:
A. R. D. Mathias
Publikováno v:
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 381
Perception of the relationship of the discipline of logic to other exact sciences changes with the years. No twentieth-century proposal for a single logical system that would support the whole of mathematics satisfied everyone, so weaker formal syste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::78509da9dc0ceceed7c11a981f9cc407
https://doi.org/10.1098/rsta.2022.0009
https://doi.org/10.1098/rsta.2022.0009
Autor:
R��ssel, Mathias
Die Leistung der installierten, erneuerbaren Energieerzeugung und die Belastung der ��bertragungsnetze steigen Jahr f��r Jahr weiter an, aber die Anzahl der konventionellen Kraftwerke, welche zum Ausgleich der variablen Stromproduktion ben�
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b98fb334a736fd494af02a6f04a55c7
Autor:
A. R. D. Mathias
Publikováno v:
Fundamenta Mathematicae. 230:99-148
Using the theory of rudimentary recursion and provident sets developed in a previous paper, we give a treatment of set forcing appropriate for working over models of a theory PROVI which may plausibly claim to be the weakest set theory supporting a s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f4376eea2934ed936b2569f5b208f4f
https://doi.org/10.4064/fm230-2-1
https://doi.org/10.4064/fm230-2-1
Autor:
TCHANG, R. P. MATHIAS
Publikováno v:
Bulletin de l'École française d'Extrême-Orient, 1901 Oct 01. 1(4), 312-321.
Externí odkaz:
https://www.jstor.org/stable/43728684
Publikováno v:
Recercat. Dipósit de la Recerca de Catalunya
instname
Journal of Pure and Applied Algebra
Journal of Pure and Applied Algebra, Elsevier, 2009, 213 (7), pp.1208-1215. ⟨10.1016/j.jpaa.2008.11.046⟩
instname
Journal of Pure and Applied Algebra
Journal of Pure and Applied Algebra, Elsevier, 2009, 213 (7), pp.1208-1215. ⟨10.1016/j.jpaa.2008.11.046⟩
We prove that, under suitable assumptions on a category C, the existence of supercompact cardinals implies that every absolute epireflective class of objects of C is a small-orthogonality class. More precisely, if L is a localization functor on an ac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a11ac32ed093c8c5011af7e8885f38c
https://doi.org/10.1016/j.jpaa.2008.11.046
https://doi.org/10.1016/j.jpaa.2008.11.046
Autor:
A. R. D. Mathias, Nathan Bowler
Publikováno v:
Notre Dame J. Formal Logic 56, no. 1 (2015), 3-60
This paper, a contribution to “micro set theory”, is the study promised by the first author in [M4], as improved and extended by work of the second. We use the rudimentarily recursive (set-theoretic) functions and the slightly larger collection o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::44a7dc586103de0683a040bd4c8c427b
http://projecteuclid.org/euclid.ndjfl/1427202973
http://projecteuclid.org/euclid.ndjfl/1427202973
Autor:
A. R. D. Mathias
Publikováno v:
Archive for Mathematical Logic. 46:43-50
We derive the schemes of from certain weak forms of the same.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d3be56a8899983b0243542d197ad62c
https://doi.org/10.1007/s00153-005-0289-8
https://doi.org/10.1007/s00153-005-0289-8
Autor:
A. R. D. Mathias
Publikováno v:
Mathematical Proceedings of the Cambridge Philosophical Society. 138:465-485
A point in Baire space is found for which the first derived !-limit set is not Borel, whilst the second is empty. A second point is found for which the sequence of derived !-limit sets does not stabilise until the first uncountable ordinal. The two p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9897e7050c0b64af6e49d6e043a69320
https://doi.org/10.1017/s0305004104008254
https://doi.org/10.1017/s0305004104008254
Autor:
A. R. D. Mathias
Publikováno v:
Synthese. 133:75-86
Bourbaki suggest that their definition of the number 1 runs to some tens of thousands of symbols. We show that that is a considerable under-estimate, the true number of symbols being that in the title, not counting 1 179 618 517 981 links between sym
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::04dd56b6e959391599f3e020fc2e56f2
https://doi.org/10.1023/a:1020827725055
https://doi.org/10.1023/a:1020827725055
Autor:
A. R. D. Mathias
Publikováno v:
Journal of Symbolic Logic. 66:487-496
Working in Z + KP, we give a new proof that the class of hereditarily finite sets cannot be proved to be a set in Zermelo set theory, extend the method to establish other failures of replacement, and exhibit a formula Φ(λ, a) such that for any sequ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::90bb044634583c2ecdabde392fd34bb9
https://doi.org/10.2307/2695026
https://doi.org/10.2307/2695026