This paper investigates obviously strategyproof (OSP) implementation of the popular top trading cycles (TTC) and deferred acceptance (DA) mechanisms. Introduced by Li (2016), obvious strategyproofness requires not only that truthful reporting be a dominant strategy, but also that this be obvious to agents who may have limited abilities of contingent reasoning. We characterize the full class of ...

Proof. First we prove the “if” direction. Fix agent 1 and preferences ✓1. Suppose that S1 is not obviously dominant in G = hH, , A,A, P, c, (Ii)i2N , gi. We need to demonstrate that there exists G̃ that is i-indistinguishable from G, such that G,G̃(S1) is not weakly dominant in G̃ . We proceed by construction. Let (S0 1, I1, h sup, S 1 , d sup c , hinf , Sinf 1, d inf c ) be such that I1 2 ↵(S1, S...

Much research has studied stance markers, but little does detailed analysis on specific functions of a epistemic adverb apart from its classified basic function. This corpus-study the different one "obviously" in three seasons Sherlock Holmes. The results are generated using Antconc software. Three practical induced and some implications learning teaching markers further discussed.