Leon Horsten

Available identifiers

zbMath Open horsten.leonMaRDI QIDQ185581

List of research outcomes

Publication	Date of Publication	Type
Hypatia's silence	2022-04-12	Paper
Axioms for typefree subjective probability	2022-02-18	Paper
Generic Structures†	2020-09-30	Paper
Absolute Infinity in Class Theory and in Theology	2020-07-13	Paper
Boolean-valued sets as arbitrary objects	2020-02-06	Paper
Reasoning about arbitrary natural numbers from a Carnapian perspective	2019-09-03	Paper
Probability for the revision theory of truth	2019-06-06	Paper
The Metaphysics and Mathematics of Arbitrary Objects	2019-05-20	Paper
Sets and Probability	2019-03-20	Paper
Human-Effective Computability†	2019-02-26	Paper
Iterated reflection over full disquotational truth	2018-11-20	Paper
Infinitesimal Probabilities	2018-11-19	Paper
TRIANGULATING NON-ARCHIMEDEAN PROBABILITY	2018-10-25	Paper
Popper Functions, Lexicographical Probability, and Non-Archimedean Probability	2016-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q5741607	2016-07-28	Paper
One hundred years of semantic paradox	2016-04-13	Paper
Term models for abstraction principles	2016-04-04	Paper
THE EXPRESSIVE POWER OF TRUTH	2015-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q2874896	2014-08-12	Paper
Fair infinite lotteries	2014-04-01	Paper
The aftermath	2013-07-18	Paper
Non-Archimedean probability	2013-05-17	Paper
Vom Zahlen zu den Zahlen: On the Relation Between Computation and Arithmetical Structuralism	2013-05-15	Paper
REVISION REVISITED	2013-01-10	Paper
An argument concerning the unknowable	2012-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q3093483	2011-10-17	Paper
Erratum to ``The undecidability of propositional adaptive logic	2009-11-04	Paper
Formal methods in the philosophy of science	2008-09-02	Paper
The undecidability of propositional adaptive logic	2007-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q5493749	2006-10-16	Paper
Axiomatizing Kripke's theory of truth	2006-08-03	Paper
On the exclusivity implicature of `or' or on the meaning of eating strawberries	2006-03-17	Paper
Closer	2006-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q3367499	2006-01-24	Paper
On the quantitative scalar or-implicature	2005-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q5695188	2005-10-11	Paper
Computational Structuralism†	2005-09-28	Paper
On best transitive approximations to simple graphs	2005-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4440539	2004-01-04	Paper
Platonistic formalism	2002-10-15	Paper
No future	2002-07-22	Paper
A Kripkean approach to unknowability and truth	2001-07-17	Paper
Two Proof-Theoretic Remarks on EA + ECT	2001-07-16	Paper
Earman on underdetermination and empirical indistinguishability	2001-03-05	Paper
In defense of epistemic arithmetic	2000-02-28	Paper
Provability in principle and controversial constructivistic principles	1998-03-23	Paper
Reflecting in epistemic arithmetic	1997-01-22	Paper
Modal-epistemic variants of Shapiro's system of epistemic arithmetic	1995-02-13	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Leon Horsten