- toWhom = { item := Minimalist.LexicalItem.of Minimalist.Cat.P [] "to whom", id := 1 }
Docs / Studies / Studies.Ke2026
The domain of transfer
Ke, A. H. (2026). In The Cambridge Handbook of the Minimalist Program (pp. 683–704). Cambridge University Press
Ke argues that Transfer applies to whole phases, edge included, once they are complete, rather
than to the complement of a phase head, and that a phase may wait to be transferred until the next
phase is complete, by which time what it contains with unvalued features has moved out. Full-phase
transfer at completion would trap a phrase at the edge of vP (edge_trapped_at_completion), but
with the delay it does not (transfer_after_next_phase). The edge effects of successive-cyclic
movement then come not from Transfer, which a phrase skipping the edge of vP obeys
(skip_obeys_transfer), but from Fox and Pesetsky's preservation of spell-out order, which only
movement through every edge satisfies (ex13), and only when whole phases are spelled out
(complement_spellout_fails).
Implementation notes
- The phase heads are v and C. The clause of (13) is built without T-to-C movement, and nominals and the wh-phrase are single heads.
- Spell-out order preservation is the consistency of the derivation's spell-outs
(
Minimalist.Derivation.Linearizes). A whole phase is spelled out when it is complete (Minimalist.Derivation.phaseSchedule), a complement when its phase head merges. - Transfer is read off the chains of the derived object, a link failing when its lower copy lies in
a domain transferred by the stage it lands at. A phase is its head's projection under
HeadFunction.raising, so a phase head's specifiers are in its phase.
TODO
- The feature criterion (8), under which a transferred phase crashes if it contains an unvalued feature other than on a lower copy, and which makes the delay the only route for a successful derivation.
- Head movement across a phase boundary (14)–(15), and the problems of Table 35.1 beyond the domain and timing of transfer and the edge effects.
References
- Ke 2026, The domain of transfer
- Fox & Pesetsky 2005, Cyclic Linearization of Syntactic Structure formalized
- Chomsky 2000, Minimalist Inquiries: The Framework
- Chomsky 2001, Derivation by Phase
The derivation of (13)
- gave = { item := Minimalist.LexicalItem.of Minimalist.Cat.V [Minimalist.Cat.D, Minimalist.Cat.P] "gave", id := 2 }
- book = { item := Minimalist.LexicalItem.of Minimalist.Cat.D [] "the book", id := 3 }
- v₁ = { item := Minimalist.LexicalItem.of Minimalist.Cat.v [Minimalist.Cat.V], id := 4 }
- mary = { item := Minimalist.LexicalItem.of Minimalist.Cat.D [] "Mary", id := 5 }
- t₁ = { item := Minimalist.LexicalItem.of Minimalist.Cat.T [Minimalist.Cat.v], id := 6 }
- that = { item := Minimalist.LexicalItem.of Minimalist.Cat.C [Minimalist.Cat.T] "that", id := 7 }
- say = { item := Minimalist.LexicalItem.of Minimalist.Cat.V [Minimalist.Cat.C] "say", id := 8 }
- v₂ = { item := Minimalist.LexicalItem.of Minimalist.Cat.v [Minimalist.Cat.V], id := 9 }
- he = { item := Minimalist.LexicalItem.of Minimalist.Cat.D [] "he", id := 10 }
- will = { item := Minimalist.LexicalItem.of Minimalist.Cat.T [Minimalist.Cat.v] "will", id := 11 }
- cQ = { item := Minimalist.LexicalItem.of Minimalist.Cat.C [Minimalist.Cat.T], id := 12 }
Whether to whom stops at the edge of vP₁ on its way to the edge of CP₁.
Derives DecidableEq, Fintype.
Used by derivation, ex13
The derivation of (13): to whom, raised through the edges of the phases, the edge of vP₁ only on the first route.
The definition is too large to print here; read it in the source.
Built from
Used by ex13, complement_spellout_fails, edge_trapped_at_completion, transfer_after_next_phase, skip_obeys_transfer
The phase heads, v and C.
- IsPhaseHead a = (a.item.cat = Minimalist.Cat.v ∨ a.item.cat = Minimalist.Cat.C)
Used by instDecidablePredTokenIsPhaseHead, ex13
- instDecidablePredTokenIsPhaseHead x✝ = { decide := decide (x✝.item.cat = Minimalist.Cat.v) || decide (x✝.item.cat = Minimalist.Cat.C), reflects_decide := ⋯ }
Built from
Spell-out order preservation
The schedule that spells a complement out when its phase head merges, the complement being the object built just before.
The definition is too large to print here; read it in the source.
Used by complement_spellout_fails
In (13), with phases spelled out when complete, only the derivation through the edge of vP₁ linearizes.
Built from , ,
Spelling complements out instead, even the derivation through every edge reverses an order: the complement of v₁ spells the book out before to whom, that of C₁ after it.
Built from ,
The domain and timing of Transfer
Ke's schedule: the domain of h is transferred once a phase containing the phase of h in its
complement is complete.
The definition is too large to print here; read it in the source.
Used by instDecidableAfterNextPhase, transfer_after_next_phase, skip_obeys_transfer
The definition is too large to print here; read it in the source.
Built from
No link of a chain in the object a derivation derives leaves a domain D of its phase heads
transferred under the schedule σ.
The definition is too large to print here; read it in the source.
Used by instDecidableObeysTransfer, edge_trapped_at_completion, transfer_after_next_phase, skip_obeys_transfer
- instDecidableObeysTransfer d D σ = id inferInstance
Built from
Transferred whole as soon as it is complete, vP₁ traps to whom and Mary at its edge (2b).
Built from ,
Built from , ,
Built from , ,