Connect

JET Theory Proof & Assumption Architect

brycewang-stanfordbybrycewang-stanford
•
1.1k
•
Learning & Documentation

Hardens assumptions, results, and proof architectures to prepare theoretical economics manuscripts for peer review in top journals like JET.

Designed specifically for microeconomic theorists preparing submissions for the Journal of Economic Theory (JET), this skill provides rigorous proof scaffolding and assumption auditing. It structures theoretical papers around a three-tier assumption hierarchy (maintained structure, economic axioms, and technical regularity), ensures all premises are load-bearing, constructs proof roadmaps and lemma decompositions for referee verifiability, and formulates tight counterexamples to defend generality and tractability trade-offs.

Key Features

011,079 GitHub stars
02Three-tier assumption taxonomy separating structural models, economic axioms, and regularity conditions
03Proof-spine scaffolding with structured lemma decompositions and dependency roadmaps
04Tightness and necessity verification through targeted, single-premise counterexamples
05Generality versus tractability trade-off evaluation for peer review standards
06Detection of hidden regularity assumptions, silent premises, and opaque proof structures

Use Cases

01Refining candidate microeconomic theorems before initial journal submission to JET
02Restructuring dense mathematical proofs into modular lemmas and appendix roadmaps
03Addressing referee requests demanding proof simplification or necessity counterexamples