Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Order-type of models of PA

Aperta
  • Qualcosa non va?
#425 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
5/5
Tempo stimato
Più di una settimana
Idoneità per principianti
30/100
Tipo di issue
Documentazione
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
tex
Ambito
documentation

Direzione di ricerca

Inizia con la presentazione attuale della dimostrazione che ogni modello non standard di PA ha tipo d’ordine N+ZxQ, in particolare con la proposizione che introduce i blocchi. Chiarisci l’enunciato esatto di ciascun risultato, amplia le dimostrazioni abbozzate e valuta in quali punti i diagrammi e una sequenza riveduta delle proposizioni migliorerebbero l’esposizione. Il lavoro è concluso quando il risultato avanzato è tecnicamente preciso senza perdere la sua presentazione intuitiva.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

I'd like to do a bit of work on the proof that every non-standard model of PA has order-type N+ZxQ. Some of the proofs are quite sketchy and I'd like to add a bit more detail, but I also wondered about going beyond this and changing the overall presentation to be a bit more precise about what's being proved, and perhaps restructuring the sequence of propositions a bit.

Does this sound reasonable? My thought here is that this is a fairly advanced result by Open Logic standards, and as such if it's being taught at all then it should be ok if it's presented in a somewhat more technical manner. I don't want to lose the intuitiveness of the current presentation (and in fact it would actually be nice to add more diagrams, as I think this is a result which is particularly amenable to them) but when I was teaching this myself I found it wasn't always clear what the exact statement of a given result was (e.g. in the proposition that introduces the idea of a block).

Lingua principale
TeX
Stelle
1.4k
Fork
289
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di OpenLogicProject/OpenLogic

Tutte le issue di OpenLogicProject/OpenLogic

Issue simili

Altre issue su Documentation

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.