Results 61 to 70 of about 3,028 (216)
Noûs, EarlyView.ABSTRACT It is a truism of mathematics that differences between isomorphic number systems are irrelevant to arithmetic. This truism is deeply rooted in the modern axiomatic method and underlies most strands of arithmetical structuralism, the view that arithmetic is about some abstract number structure.
Balthasar Grabmayr
wiley +1 more source
Enumeration of Corners in Tree-like Tableaux [PDF]
Discrete Mathematics & Theoretical Computer Science, 2016 In this paper, we confirm conjectures of Laborde-Zubieta on the enumeration of corners in tree-like tableaux and in symmetric tree-like tableaux. In the process, we also enumerate corners in (type $B$) permutation tableaux and (symmetric) alternative ...
Alice L. L. Gao +3 more
doaj +1 more source
Aggregation and the Structure of Value
Noûs, EarlyView.ABSTRACT Roughly, the view I call “Additivism” sums up value across time and people. Given some standard assumptions, I show that Additivism follows from two principles. The first says that how lives align in time cannot, in itself, matter. The second says, roughly, that a world cannot be better unless it is better within some period or another.
Weng Kin San
wiley +1 more source
Operators of equivalent sorting power and related Wilf-equivalences [PDF]
Discrete Mathematics & Theoretical Computer Science, 2013 We study sorting operators $\textrm{A}$ on permutations that are obtained composing Knuth's stack sorting operator \textrmS and the reverse operator $\textrm{R}$, as many times as desired.
Michael Albert, Mathilde Bouvel
doaj +1 more source
A Bijection for Tricellular Maps
ISRN Discrete Mathematics, 2013 We give a bijective proof for a relation between unicellular, bicellular, and tricellular maps. These maps represent cell complexes of orientable surfaces having one, two, or three boundary components. The relation can formally be obtained using matrix theory (Dyson, 1949) employing the Schwinger-Dyson equation (Schwinger, 1951).
Han, Hillary Siwei, Reidys, Christian
openaire +4 more sources
A New Hilbert's Hotel Argument Against Past‐Eternalism
Analytic Philosophy, EarlyView.ABSTRACT This paper offers a new formulation of the “Hilbert's Hotel Argument” (HHA) which is superior to existing formulations because it (1) demonstrates that HH is logically impossible in the concrete world, (2) takes into account the need to consider the assumptions of HHA, and (3) offers a reply to an important objection concerning the validity of
Andrew Ter Ern Loke, Eli Haitov
wiley +1 more source
A bijection between irreducible k-shapes and surjective pistols of height $k-1$ [PDF]
Discrete Mathematics & Theoretical Computer Science, 2014 This paper constructs a bijection between irreducible $k$-shapes and surjective pistols of height $k-1$, which carries the "free $k$-sites" to the fixed points of surjective pistols.
Ange Bigeni
doaj +1 more source
The Necessary Uniformity of Physical Probability
Philosophy and Phenomenological Research, EarlyView.ABSTRACT According to contemporary consensus, physical probabilities may be “non‐uniform”: they need not correspond to a uniform measure over the space of physically possible worlds. Against consensus, I argue that only uniform probabilities connect robustly to long‐run frequencies.
Ezra Rubenstein
wiley +1 more source
Torsion classes of extended Dynkin quivers over commutative rings
Bulletin of the London Mathematical Society, EarlyView.Abstract For a Noetherian R$R$‐algebra Λ$\Lambda$, there is a canonical inclusion torsΛ→∏p∈SpecRtors(κ(p)Λ)$\mathop {\mathsf {tors}}\Lambda \rightarrow \prod _{\mathfrak {p}\in \operatorname{Spec}R}\mathop {\mathsf {tors}}(\kappa (\mathfrak {p})\Lambda)$, and each element in the image satisfies a certain compatibility condition.
Osamu Iyama, Yuta Kimura
wiley +1 more source
Generating Bijections between HOAS and the Natural Numbers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 A provably correct bijection between higher-order abstract syntax (HOAS) and the natural numbers enables one to define a ``not equals'' relationship between terms and also to have an adequate encoding of sets of terms, and maps from one term family to ...
John Tang Boyland
doaj +1 more source