Results 111 to 120 of about 54,181 (219)

Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem

Theoria, EarlyView.
ABSTRACT In this paper, we discuss Kripke's reduction of Löb's Principle to the Second Incompleteness Theorem. We have a closer look at the non‐constructive character of the reduction. We reflect on what the argument has to tell us. In the Appendix, We give a strengthening of Löb's Principle suggested by Kripke's reduction.
Albert Visser
wiley   +1 more source

The Continuum Fallacy in Moral Philosophy

Theoria, EarlyView.
ABSTRACT ‘Spectrum arguments’ or ‘continuum arguments’ in moral philosophy are sometimes invalid because they commit a particular fallacy I call the ‘Continuum Fallacy’. An important example is an argument in population ethics described by Derek Parfit, which purports to derive a conclusion that he and others find repugnant on the basis of a weak and ...
John Broome
wiley   +1 more source

Lexical and grammatical arity-reduction: The case of reciprocity in Romance languages. [PDF]

Nat Lang Linguist Theory
Palmieri G, Basso R, Nieto I Bou J, Winter Y, Zwarts J.   +4 more
europepmc   +1 more source

Nigerian English: History, functions and features

World Englishes, EarlyView.
Abstract This article offers a comprehensive overview of Nigerian English, a rapidly expanding variety of world Englishes, recognised as one of the fastest‐growing varieties of English globally in numerical terms. This article has four aims. First, it discusses the historical developments of English in Nigeria with reference to the events that led to ...
Kingsley O. Ugwuanyi, Sopuruchi Christian Aboh   +1 more
wiley   +1 more source

On the Complete Reduction of any Transitive Permutation - Group; and on the Arithmetical Nature of the Coefficients in its Irreducible Components

, 1905
W. Burnside
openalex   +2 more sources

Chebotarev's theorem for cyclic groups of order pq$pq$ and an uncertainty principle

Bulletin of the London Mathematical Society, EarlyView.
Abstract Let p$p$ be a prime number and ζp$\zeta _p$ a primitive p$p$th root of unity. Chebotarev's theorem states that every square submatrix of the p×p$p \times p$ matrix (ζpij)i,j=0p−1$(\zeta _p^{ij})_{i,j=0}^{p-1}$ is nonsingular. In this paper, we prove the same for principal submatrices of (ζnij)i,j=0n−1$(\zeta _n^{ij})_{i,j=0}^{n-1}$, when n=pr ...
Maria Loukaki
wiley   +1 more source

Analysis of argument structure constructions in a deep recurrent language model. [PDF]

Front Comput Neurosci
Ramezani P, Schilling A, Krauss P.
europepmc   +1 more source

Finding a minimal transitive reduction in a strongly connected digraph within linear time

, 1989
Klaus Simon
openalex   +2 more sources

Energy‐aware flexible job shop scheduling problem with nonlinear routes and position‐based learning effect

International Transactions in Operational Research, Volume 33, Issue 2, Page 860-891, March 2026.
Abstract Sustainability has become one of the main objectives in all human activities and, in particular, in manufacturing environments. In this paper, we consider the flexible job shop scheduling problem with the objective of minimizing energy consumption.
Ernesto G. Birgin, José Angel Riveaux, Débora P. Ronconi   +2 more
wiley   +1 more source

Cholinergic interneurons of the dorsomedial striatum mediate winner-loser effects on social hierarchy dynamics in male mice. [PDF]

iScience
Hsu MT, Akamine Y, Kurima K, Tanaka KZ, Wickens JR.   +4 more
europepmc   +1 more source