{"graphSha256":"f29d7b1eedeb88387238d2abda347f810d2179c5fdbead47c3ef48507ab20ca5","node":{"id":"sac-33624cb63bce70","type":"ficha","title":"Isomorphic functional kernel and parameterized extension of R01","url":"https://dakleyer.github.io/perspective-beyond/atlas/github/fichas/sac-33624cb63bce70.html","original":"https://github.com/dakleyer/structural-awareness-contributions/blob/cdfd1a6d2677eccb90cf50ffda6368af50a051b9/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/KERNEL_AND_PROOF.md","aliases":[],"clusters":["research"],"tags":["matematicas","transformacion"],"summary":"Contenido de la fuente: 1 Claim to be proved · 2 Structure of the base case · 3 Complete inventory of main correspondences.","commit":"cdfd1a6d2677eccb90cf50ffda6368af50a051b9","sourcePath":"research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/KERNEL_AND_PROOF.md","commitUrl":"https://github.com/dakleyer/structural-awareness-contributions/commit/cdfd1a6d2677eccb90cf50ffda6368af50a051b9","documentId":"doc-2eafde188d6c33d750","tagWeights":{"matematicas":0.5,"transformacion":0.5},"contextTokens":160},"relations":[["documento:sac-rel-9e473c7e1c3e83","sac-81dd6d86597814","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «UC-21 Challenge sources» con el rótulo «kernel/proof obligations».","https://github.com/dakleyer/structural-awareness-contributions/blob/1c6f0eccf41ebb51404323856f633e1e2ddbddef/research/ecosystem-awareness/DDS_CANONICAL_METHOD_INDEX_v0.1.md","documento",""],["documento:sac-rel-97bd3f1da5f970","sac-087bbc064c2db1","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «Complete source-by-source retirement inventory» con el rótulo «research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/KERNEL_AND_PROOF.md».","https://github.com/dakleyer/structural-awareness-contributions/blob/3e58fc6997a439b9783fd6b92ccee3f4292772dd/research/ecosystem-awareness/DDS_CHALLENGE_TRAJECTORY_PROFILE_v0.1_VNext.md","documento",""],["documento:sac-rel-d4f5b2b452337e","sac-2b493f1f16d9ee","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «Transfer is claim-specific» con el rótulo «R01 kernel».","https://github.com/dakleyer/structural-awareness-contributions/blob/d5f7cd6137da97ed265acfa5bc68c9f00f128c7d/research/ecosystem-awareness/baseline/00J-extensions/PANODYSSEY-EXT-01/TRANSFER_LEDGER.md","documento",""],["documento:sac-rel-964a3b3ccebbab","sac-1c5844ebf05b30","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «2.3. Prueba de reducción obligatoria ANTES de proponer un Δ no isomórfico» con el rótulo «R01 E1–E7».","https://github.com/dakleyer/structural-awareness-contributions/blob/3b1265e6f838e86359f5c664b517e4fc465a7b16/research/ecosystem-awareness/baseline/01I-artifacts/acc-auxiliary-model-v0.1/studies/risk-aversion-persistence-v0.1/EXTENSION_ISOMORPHIC_NONISOMORPHIC_RESEARCH_v0.1.md","documento",""],["documento:sac-rel-a7b62d617ac6bb","sac-ae5cfdf16d6d42","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «Archivo completo de enlaces del corte» con el rótulo «Isomorphic functional kernel and parameterized extension of R01».","https://github.com/dakleyer/structural-awareness-contributions/blob/4f4fb93a742d03e45a3b1b5f5a008c0bd00e8826/research/ecosystem-awareness/baseline/non-canonical/README.md","documento",""],["documento:sac-rel-e113ca50bdc993","sac-5a5ee13c63bf1a","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «Purpose and current evidence» con el rótulo «extension proposition».","https://github.com/dakleyer/structural-awareness-contributions/blob/ae710f7d806da226c7140ff6dbc2faf01602c3ca/research/ecosystem-awareness/baseline/reductions/00G-R01/MATHEMATICAL_FEASIBILITY.md","documento",""],["documento:sac-rel-6b37d70c6ed904","sac-842e012fc7d601","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «Reading guide» con el rótulo «Kernel and obligations E1–E7».","https://github.com/dakleyer/structural-awareness-contributions/blob/64fa9f3d777c30860b92ffa7e4440ef4b7193ca8/research/ecosystem-awareness/baseline/reductions/00G-R01/README.md","documento",""],["documento:sac-rel-d0c948a71b41d3","sac-3bd47e70e1652a","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «2 Common correspondence contract» con el rótulo «sufficient criterion E1–E7 in the mathematical note».","https://github.com/dakleyer/structural-awareness-contributions/blob/ed0322c9ee607a9b23ad3cf25dca9dedf269eda6/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/CRITERIA_AND_AUDIT.md","documento",""],["documento:sac-rel-539c8ee6e94e20","sac-60ea1399e48eb6","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «3. Result by extension» con el rótulo «mathematical note».","https://github.com/dakleyer/structural-awareness-contributions/blob/e2573f6e277e3d011776621703b6fa61bdde1c7f/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/EXTENSION_CONSISTENCY_REVIEW.md","documento",""],["documento:sac-rel-7e067a4fad7a51","sac-c1b914d4bd8355","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «Methodological foundations: test R01 and transfer only preserved properties» con el rótulo «Kernel and E1–E7 proof».","https://github.com/dakleyer/structural-awareness-contributions/blob/d9a3f9a2f5c832f2998ad5798cae0592bd349cf5/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/METHODOLOGICAL_FOUNDATIONS.md","documento",""],["documento:sac-rel-3ed4bb8b94c0fb","sac-f657580a1f9189","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «Existing extensions and studies — preserved, now also housed here» con el rótulo «kernel/E1–E7».","https://github.com/dakleyer/structural-awareness-contributions/blob/9056ed78e3e79c025f253cfbc823ccc0293064a4/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/README.md","documento",""],["documento:sac-rel-7c1db54f2f9735","sac-d3fd5def0a6b75","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «2. Step one: identify the isomorphic kernel» con el rótulo «E1–E7».","https://github.com/dakleyer/structural-awareness-contributions/blob/2efe2130805d1e19ae0716fc876662b34c11e12a/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/TECHNOLOGY_EXTENSION_PROTOCOL.md","documento",""],["documento:sac-rel-bb8c9bee8ad8ba","sac-33624cb63bce70","sac-3aaf4a715a6554","referencia de la fuente","La fuente enlaza esta lectura en «Isomorphic functional kernel and parameterized extension of R01» con el rótulo «Family and cases».","https://github.com/dakleyer/structural-awareness-contributions/blob/cdfd1a6d2677eccb90cf50ffda6368af50a051b9/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/KERNEL_AND_PROOF.md","documento",""],["documento:sac-rel-d2217113e494db","sac-33624cb63bce70","sac-842e012fc7d601","referencia de la fuente","La fuente enlaza esta lectura en «Isomorphic functional kernel and parameterized extension of R01» con el rótulo «R01».","https://github.com/dakleyer/structural-awareness-contributions/blob/cdfd1a6d2677eccb90cf50ffda6368af50a051b9/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/KERNEL_AND_PROOF.md","documento",""],["documento:sac-rel-4967af4ef8e67d","sac-33624cb63bce70","sac-8b8be638d0c303","referencia de la fuente","La fuente enlaza esta lectura en «Isomorphic functional kernel and parameterized extension of R01» con el rótulo «Finite check».","https://github.com/dakleyer/structural-awareness-contributions/blob/cdfd1a6d2677eccb90cf50ffda6368af50a051b9/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/KERNEL_AND_PROOF.md","documento",""],["documento:sac-rel-411d768f0618ce","sac-33624cb63bce70","sac-3bd47e70e1652a","referencia de la fuente","La fuente enlaza esta lectura en «1 Claim to be proved» con el rótulo «Common scope rule».","https://github.com/dakleyer/structural-awareness-contributions/blob/cdfd1a6d2677eccb90cf50ffda6368af50a051b9/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/KERNEL_AND_PROOF.md","documento",""],["documento:sac-rel-e7f799a15e44ee","sac-33624cb63bce70","sac-c1b914d4bd8355","referencia de la fuente","La fuente enlaza esta lectura en «5.2 Corollary for two compared arms» con el rótulo «methodological note §§3–6».","https://github.com/dakleyer/structural-awareness-contributions/blob/cdfd1a6d2677eccb90cf50ffda6368af50a051b9/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/KERNEL_AND_PROOF.md","documento",""],["documento:sac-rel-8614ce461097eb","sac-33624cb63bce70","sac-78e68dc6f79f1a","referencia de la fuente","La fuente enlaza esta lectura en «8 Sources» con el rótulo «R01 v0.6 at the fixed commit».","https://github.com/dakleyer/structural-awareness-contributions/blob/cdfd1a6d2677eccb90cf50ffda6368af50a051b9/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/KERNEL_AND_PROOF.md","documento",""],["documento:sac-rel-62eca129eb9f6b","sac-33624cb63bce70","GH050","referencia de la fuente","La fuente enlaza esta lectura en «8 Sources» con el rótulo «A25».","https://github.com/dakleyer/structural-awareness-contributions/blob/cdfd1a6d2677eccb90cf50ffda6368af50a051b9/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/KERNEL_AND_PROOF.md","documento",""],["documento:sac-rel-f652bcdba3c016","sac-3aaf4a715a6554","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «4 What the proof and results establish» con el rótulo «existing mathematical note».","https://github.com/dakleyer/structural-awareness-contributions/blob/10a8e49e0e969617f0e0fb1c14fc7e9814749cb2/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/README.md","documento",""],["documento:sac-rel-0c23b520179160","sac-8b8be638d0c303","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «Finite check of the H/L/W extension kernel» con el rótulo «Proposition and proof».","https://github.com/dakleyer/structural-awareness-contributions/blob/8502ff4c28fba9143c37a44bcbb2d21ca40f1c6e/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/proof/README.md","documento",""],["documento:sac-rel-74a88e20d40e3e","sac-543841d9b44b02","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «Stage1 — technology–problem extension and isomorphism profile» con el rótulo «E1–E7».","https://github.com/dakleyer/structural-awareness-contributions/blob/64fa9f3d777c30860b92ffa7e4440ef4b7193ca8/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/rag/EXTENSION.md","documento",""],["documento:sac-rel-892025610e3aa2","sac-b2ef5746123913","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «2. Step one: identify the isomorphic kernel» con el rótulo «E1–E7».","https://github.com/dakleyer/structural-awareness-contributions/blob/6881dfe920a30ef6d00334f15059ab1dd931c8d4/research/ecosystem-awareness/baseline/reductions/00G-R01/feasibility/TECHNOLOGY_EXTENSION_PROTOCOL.md","documento",""]]}