Results 31 to 40 of about 3,584 (122)
Abstract This essay revisits the early methodology of Rudolph von Jhering. It has often been dismissed due to its heavy metaphysics, unwieldy presentation, and alleged neglect of teleology. But a charitable reconstruction in contemporary terms reveals a coherence theory of jurisprudence that is in many ways superior to current coherence accounts.
Pascal Felix Meier
wiley +1 more source
ABSTRACT This article introduces immanent idealism as an alternative path in social ontology and theory. It argues for a distinction between three basic ontological dimensions, the ideational, the institutional and the structural. This approach highlights the cognitional priority of worldviews as the core element of the ideational dimension, and it ...
Christoforos Bouzanis
wiley +1 more source
Arithmetical pluralism and the objectivity of syntax
Abstract Arithmetical pluralism is the view that there is not one true arithmetic but rather many apparently conflicting arithmetical theories, each true in its own language. While pluralism has recently attracted considerable interest, it has also faced significant criticism.
Lavinia Picollo, Daniel Waxman
wiley +1 more source
Infinite Matroids and Determinacy of Games [PDF]
Solving a problem of Diestel and Pott, we construct a large class of infinite matroids. These can be used to provide counterexamples against the natural extension of the Well-quasi-ordering-Conjecture to infinite matroids and to show that the class of ...
Bowler, Nathan, Carmesin, Johannes
core
Probabilistic modal {\mu}-calculus with independent product
The probabilistic modal {\mu}-calculus is a fixed-point logic designed for expressing properties of probabilistic labeled transition systems (PLTS's). Two equivalent semantics have been studied for this logic, both assigning to each state a value in the ...
Mio, Matteo
core +2 more sources
The axiom of determinacy implies dependent choices in L(R) [PDF]
AbstractWe prove the following Main Theorem: ZF + AD + V ⇒ L(R) ⇒ DC. As a corollary we have that Con(ZF + AD) ⇒ Con(ZF + AD + DC). Combined with the result of Woodin that Con(ZF + AD) ⇒ Con(ZF + AD + ¬ ACω) it follows that DC (as well as ACω) is independent relative to ZF + AD. It is finally shown (jointly with H.
openaire +1 more source
An analytical model of search and bargaining with divisible money
We propose a standard search and bargaining model with divisible money, in which only the random matching market opens and the generalized Nash bargaining settles each trade. Assuming fixed production costs, we analytically characterize a tractable equilibrium, called a pay‐all equilibrium, and prove its existence. Each buyer pays all the money holding
Kazuya Kamiya, So Kubota
wiley +1 more source
The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
We show that the Axiom of Real Determinacy $\mathsf{AD}_{\mathbb{R}}$ and the Axiom of Real Blackwell Determinacy $\mathsf{Bl}\text{-}\mathsf{AD}_{\mathbb{R}}$ are equivalent in $\mathsf{ZF}$+$\mathsf{DC}$. This answers the question of Löwe [15, Question 53]. While we do not know whether they are equivalent in $\mathsf{ZF}$+$\mathsf{AC}_ω (\mathbb{R})$,
Ikegami, Daisuke, Woodin, W. Hugh
openaire +2 more sources
Monotone versus non‐monotone projective operators
Abstract For a class of operators Γ$\Gamma$, let |Γ|$|\Gamma |$ denote the closure ordinal of Γ$\Gamma$‐inductive definitions. We give upper bounds on the values of |Σ2n+11,mon|$|\Sigma ^{1,mon}_{2n+1}|$ and |Π2n+21,mon|$|\Pi ^{1,mon}_{2n+2}|$ under the assumption that all projective sets of reals are determined, significantly improving the known ...
J. P. Aguilera, P. D. Welch
wiley +1 more source
The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velickovi\'c. We introduce a stronger form of resurrection axioms (the \emph{iterated} resurrection axioms $\textrm{RA}_\alpha ...
Audrito, Giorgio, Viale, Matteo
core +1 more source

