Items where Funder is John Templeton Foundation (US).

60842

Aguilera, JP, Freund, A, Rathjen, M orcid.org/0000-0003-1699-4778 et al. (1 more author) (2021) Ackermann and Goodstein go functorial. Pacific Journal of Mathematics, 313 (2). pp. 251-291. ISSN 0030-8730

Aguilera, JP, Freund, A, Rathjen, M orcid.org/0000-0003-1699-4778 et al. (1 more author) (2022) Boundedness theorems for flowers and sharps. Proceedings of the American Mathematical Society, 150 (9). pp. 3973-3988. ISSN 0002-9939

Frittaion, E. orcid.org/0000-0003-4965-9271, Nemoto, T. orcid.org/0000-0003-3898-6189 and Rathjen, M. orcid.org/0000-0003-1699-4778 (2023) Choice and independence of premise rules in intuitionistic set theory. Annals of Pure and Applied Logic, 174 (9). 103314. ISSN 0168-0072

Freund, A and Rathjen, M (2021) Derivatives of normal functions in reverse mathematics. Annals of Pure and Applied Logic, 172 (2). 102890. ISSN 0168-0072

Frittaion, E and Rathjen, M (2020) Extensional realizability for intuitionistic set theory. Journal of Logic and Computation. exaa087. ISSN 0955-792X

Beyersdorff, O orcid.org/0000-0002-2870-1648 and Blinkhorn, J (2018) Genuine Lower Bounds for QBF Expansion. In: Niedermeier, R and Vallee, B, (eds.) Leibniz International Proceedings in Informatics (LIPIcs). 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), 28 Feb - 03 Mar 2018, Caen, France. Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik , 12:1-12:15. ISBN 978-3-95977-062-0

Maietti, ME, Maschio, S and Rathjen, M orcid.org/0000-0003-1699-4778 (2022) Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice. Logical Methods in Computer Science, 18 (4). 5:1-5:28. ISSN 1860-5974

Freund, A, Rathjen, M orcid.org/0000-0003-1699-4778 and Weiermann, A (2022) Minimal bad sequences are necessary for a uniform Kruskal theorem. Advances in Mathematics, 400. 108265. ISSN 0001-8708

Carlucci, L, Mainardi, L and Rathjen, M (2019) A Note on the Ordinal Analysis of RCA0+WO(σ). In: Manea, F, Martin, B, Paulusma, D and Primiero, G, (eds.) Lecture Notes in Computer Science. Computability in Europe 2019: Computing with Foresight and Industry, 15-19 Jul 2019, Durham, UK. Springer , Cham, Switzerland , pp. 144-155. ISBN 978-3-030-22995-5

Rathjen, M orcid.org/0000-0003-1699-4778 and Toppel, M (2019) On Relating Theories: Proof-Theoretical Reduction. In: Centrone, S, Negri, S, Sarikaya, D and Schuster, PM, (eds.) Mathesis Universalis, Computability and Proof. Humboldt-Kolleg: Proof Theory as Mathesis Universalis, 24-28 Jul 2017, Loveno di Menaggio (Como), Italy. Springer , pp. 311-331. ISBN 978-3-030-20446-4

Rathjen, M orcid.org/0000-0003-1699-4778 and Tupailo, S (2020) On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics. In: Kahle, R and Rathjen, M, (eds.) The Legacy of Kurt Schütte. Springer , pp. 377-399. ISBN 978-3-030-49423-0

Krombholz, M and Rathjen, M (2020) Upper Bounds on the Graph Minor Theorem. In: Schuster, P, Seisenberger, M and Weiermann, A, (eds.) Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory. Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031), 17-22 Jan 2016, Dagstuhl, Germany. Trends in Logic, 53 . Springer , pp. 145-160. ISBN 978-3-030-30228-3

Freund, A. and Rathjen, M. orcid.org/0000-0003-1699-4778 (2023) Well ordering principles for iterated 511-comprehension. Selecta Mathematica, 29. 76. ISSN 1022-1824

Rathjen, M and Thomson, IA (2020) Well-ordering principles, omega-models and Pi-1-1-comprehension. In: Kahle, R and Rathjen, M, (eds.) The Legacy of Kurt Schütte. Springer , pp. 171-215. ISBN 978-3-030-49423-0

Shafer, P orcid.org/0000-0001-5386-9218 (2020) The strength of compactness for countable complete linear orders. Computability, 9 (1). pp. 25-36. ISSN 2211-3568

AH/E00802X/1

Radick, G (2016) Presidential address: Experimenting with the scientific past. British Journal for the History of Science, 49 (2). pp. 153-172. ISSN 0007-0874

Durham Emergence Project

Saatsi, J orcid.org/0000-0002-8440-8761 and Reutlinger, A (2018) Taking Reductionism to the Limit: How to Rebut the Antireductionist Argument from Infinite Limits. Philosophy of Science, 85 (3). pp. 455-482. ISSN 0031-8248

ID# 57313

Wynn, MR (2017) Aesthetic Goods and the Nature of Religious Understanding. In: Ellis, F, (ed.) New Models of Religious Understanding. Oxford University Press , Oxford , pp. 116-133. ISBN 9780198796732

Wynn, M (2018) Aesthetic experience and spiritual well-being: locating the role of theological commitments. International Journal of Philosophy and Theology, 79 (4). pp. 397-409. ISSN 2169-2327

Wynn, MR (2021) Comparing Empirical and Theological Perspectives on the Relationship Between Hope and Aesthetic Experience: An Approach to the Nature of Spiritual Well-Being. In: Lee, MT, Kubzanzsky, LD and VanderWeele, TJ, (eds.) Measuring Well-Being: Interdisciplinary Perspectives from the Social Sciences and the Humanities. Oxford University Press , New York, NY, USA . ISBN 9780197512531

Scrutton, AP orcid.org/0000-0002-8335-7464 (2018) Depression and aesthetic experience: can people with depression appreciate beauty? Discipline Filosofiche, XXVIII (2). ISSN 1591-9625

ID# 62603

Bradley, D. (2023) Can we combine practical and epistemic reason? Analytic Philosophy. ISSN 2153-9596

Bradley, D (2023) How to Combine Epistemic and Practical Reason. Analytic Philosophy. ISSN 0031-8051

Bradley, D. (2024) How to lose your memory without losing your money: shifty epistemology and Dutch strategies. Synthese, 203 (4). 126. ISSN 0039-7857

Bradley, D. (2023) Normative Contextualism and Ought Implies Can. Ergo. ISSN 2330-4014 (In Press)

Bradley, D (2023) Reasons for Belief in Context. Episteme. pp. 1-16. ISSN 1742-3600

ID#56369

Pike, MA, Lickona, T and Nesfield, V (2015) Narnian Virtues: C.S. Lewis as Character Educator. Journal of Character Education, 11 (1). ISSN 1543-1223

MD130016

Radick, G (2016) Presidential address: Experimenting with the scientific past. British Journal for the History of Science, 49 (2). pp. 153-172. ISSN 0007-0874

Radick, GM (2016) The enemy within. The Times Literary Supplement.

NONE GIVEN

Radick, G (2016) Presidential address: Experimenting with the scientific past. British Journal for the History of Science, 49 (2). pp. 153-172. ISSN 0007-0874

Not Known

Francis, LJ, Pike, M, Lankshear, DW et al. (2 more authors) (2017) Conceptualising and testing the Narnian Character Virtue Scales: a study among 12- to 13-year-old students. Mental Health, Religion and Culture, 20 (9). pp. 860-872. ISSN 1367-4676

Francis, LJ, Pike, MA, Lickona, T et al. (2 more authors) (2018) Evaluating the pilot Narnian Virtues Character Education English Curriculum Project: a study among 11- to 13-year-old students. Journal of Beliefs and Values, 39 (2). pp. 233-249. ISSN 1361-7672

Paul, S-AS, Hart, P orcid.org/0000-0002-7838-0010, Augustin, L et al. (2 more authors) (2022) Parents’ perspectives on home-based character education activities. Journal of Family Studies, 28 (3). pp. 1158-1180. ISSN 1322-9400

Hart, P orcid.org/0000-0002-7838-0010, Oliveira, G orcid.org/0000-0003-3353-1433 and Pike, M (2020) Teaching virtues through literature: learning from the ‘Narnian Virtues’ character education research. Journal of Beliefs & Values, 41 (4). pp. 474-488. ISSN 1361-7672

SG-44032

Radick, G (2016) Presidential address: Experimenting with the scientific past. British Journal for the History of Science, 49 (2). pp. 153-172. ISSN 0007-0874

Radick, GM (2016) The enemy within. The Times Literary Supplement.

TWCF 0025/UAB 012

Radick, G (2016) Presidential address: Experimenting with the scientific past. British Journal for the History of Science, 49 (2). pp. 153-172. ISSN 0007-0874

Radick, GM (2016) The enemy within. The Times Literary Supplement.

Jamieson, A and Radick, G (2017) Genetic Determinism in the Genetics Curriculum: An Exploratory Study of the Effects of Mendelian and Weldonian Emphases. Science and Education, 26 (10). pp. 1261-1290. ISSN 0926-7220