Živo rabotno izdanje · live working edition · OLP-0198

Open Logic na medžuslovjanskom jezyku

Praktična čitanka logiky i matematičnogo jezyka za čitateljev slovjanskyh jezykov, vključajuči ljudij bez znanja anglijskogo. Latinična redakcijska svědočba jest kanonična; kirilica jest deterministično izvedena iz nej, ne druga nezavisna translacija.

198 / 722prijete i prověrjene jedinice

30,01%izvornyh alfabetičnyh tokenov

400aktivne pojmy v 453 revizijah

0nevalidne ili nedostajuće jedinice

Aktualny medžuslovjansky status

Kontrolny punkt OLP-0198 sodrži 198 prijetyh jedinic i 524 neprijete jedinice. Slova prijeta znače, že tekst jest instalovany poslě strukturnoj, formulnoj, terminologičnoj, kanoničnoj i vizualnoj prověrky. Neprijeta ne znači, že postoji kandidat: mnoge jedinice sųt prosto izvorny tekst, ktory jošče ne jest prěložen.

Od OLP-0184 do OLP-0198 dodane sųt sekcije o reduktah, podstrukturah, izomorfizmah, teoriji struktur, gųstyh poredkah, modelah aritmetiky i nazivu glavy o interpolaciji. Pokrytje raste od 101 737 do 110 194 od 367 220 izvornyh alfabetičnyh tokenov.

Kanon raste do 400 aktivnyh pojmov v 453 fizičnyh revizijah. Novy diapazon OLISV-T0346–OLISV-T0400 i dvě revizije ranějših zapisov imajų smysl, gramatiku, slovjanske sravnenja, dokazy, alternativy, neizvěstnost i supersession.

Polny slovar kanona · ekspertna knjiga odluka · mašinny log · indeks kanona · program prěvoda · mašinno prědanje.

Complete English counterpart

Checkpoint OLP-0198 contains 198 accepted units and 524 pending units. Accepted means installed after structural, formula, terminology, canon and visual checks. Pending does not imply that a candidate exists: many pending units are simply source text not yet translated.

OLP-0184 through OLP-0198 add sections on reducts, substructures, isomorphisms, theories of structures, dense orders, models of arithmetic, and the interpolation chapter heading. Coverage rises from 101,737 to 110,194 of 367,220 source alphabetic tokens.

The canon now has 400 active concepts across 453 physical revisions. New entries OLISV-T0346–OLISV-T0400 and two revisions of earlier entries expose sense, grammar, cross-Slavic comparanda, evidence, alternatives, uncertainty and supersession.

Full canon dictionary · expert decision log · machine log · canon index · translation progress · machine handoff.

Čitaj aktualny prefiks · Read the accepted prefix

Serialno izgrađeny QA-čitatelj ima 777 stranice i naměrno konča prěd OLP-0199. Stranice 727–777 sųt ponovno renderovane i vizualno pregledane. Sedm vidimyh znakov ?? sųt zachovane ranějše referencije iz čestičnogo čitatelja, ne nove grešky OLP-0184–OLP-0198. / The serial QA reader has 777 pages and deliberately stops before OLP-0199. Pages 727–777 were re-rendered and visually reviewed. Seven visible ?? markers are inherited partial-reader references, not new OLP-0184–OLP-0198 defects.

Otvori PDF v novom oknu / open the PDF directly

Novy prijety blok · Newly accepted block

Jedinica	Naziv / title	Canon IDs	Exact TeX
OLP-0184	Redukty i razširjenja Reducts and Expansions	OLISV-T0346, OLISV-T0347	ISV · EN source
OLP-0185	Podstruktury Substructures	OLISV-T0348, OLISV-T0349	ISV · EN source
OLP-0186	Prěhod k bezkonečnosti Overspill	OLISV-T0350	ISV · EN source
OLP-0187	Izomorfne struktury Isomorphic Structures	OLISV-T0351, OLISV-T0352, OLISV-T0353	ISV · EN source
OLP-0188	Teorija struktury The Theory of a Structure	OLISV-T0019, OLISV-T0354, OLISV-T0383	ISV · EN source
OLP-0189	Čestične izomorfizmy Partial Isomorphisms	OLISV-T0355, OLISV-T0356, OLISV-T0357, OLISV-T0358, OLISV-T0359	ISV · EN source
OLP-0190	Gųste linearne poredky Dense Linear Orders	OLISV-T0360, OLISV-T0361, OLISV-T0362, OLISV-T0363, OLISV-T0364	ISV · EN source
OLP-0191	Modeli aritmetiky Models of Arithmetic	OLISV-T0365	ISV · EN source
OLP-0192	Vvod Introduction	OLISV-T0366, OLISV-T0367, OLISV-T0368, OLISV-T0370, OLISV-T0371, OLISV-T0372, OLISV-T0373, OLISV-T0374, OLISV-T0375	ISV · EN source
OLP-0193	Standardne modeli aritmetiky Standard Models of Arithmetic	OLISV-T0205, OLISV-T0376, OLISV-T0377, OLISV-T0378, OLISV-T0379	ISV · EN source
OLP-0194	Nestandardne modeli Non-Standard Models	OLISV-T0369, OLISV-T0380, OLISV-T0381, OLISV-T0382, OLISV-T0383, OLISV-T0384, OLISV-T0385, OLISV-T0397	ISV · EN source
OLP-0195	Modeli teorije Q Models of Q	OLISV-T0386, OLISV-T0387, OLISV-T0388, OLISV-T0389	ISV · EN source
OLP-0196	Modeli teorije PA Models of PA	OLISV-T0390, OLISV-T0391, OLISV-T0392, OLISV-T0393, OLISV-T0394, OLISV-T0395	ISV · EN source
OLP-0197	Izčislimy modeli aritmetiky Computable Models of Arithmetic	OLISV-T0396, OLISV-T0397, OLISV-T0398, OLISV-T0399	ISV · EN source
OLP-0198	Teorema interpolacije The Interpolation Theorem	OLISV-T0400	ISV · EN source

Metoda i sledimost

Každa jedinica zachovava TeX, matematične formuly i strukturu izvora. Terminologične odluke sųt append-only. `CANON_INDEX.json` daje porędok replaya i byte/hash piny; batch-link veže vsaku novu jedinicu k stabilnym OLISV ID. Neuspěšne R1 i R2 vizualne pokusy ostavajų javno vidime kako adverse history.

Batch canon links · vizualna prověrka · metodologičny DOI.

Method and traceability

Each unit preserves source TeX, mathematical formulae and structure. Terminology decisions are append-only. `CANON_INDEX.json` supplies replay order and byte/hash pins; the batch link binds every new unit to stable OLISV IDs. Failed R1 and R2 visual attempts remain visible as adverse history.

Batch canon links · visual QA · methodology DOI.

Status 2026-09-07. Izvor / source: Open Logic Project, revision 1e960beff9ed7835bf3e3f1335e21af3439cd107; licencija / license CC BY 4.0. Slědujuća jedinica jest OLP-0199. To jest reverzibilno rabotno izdanje, ne tvrđenje o dokončenju, oficialnoj standardizaciji, rodnojezyčnoj certifikaciji, naučnoj recenziji ili bezpogrešnosti. / Next unit: OLP-0199. This is a reversible working edition, not a claim of completion, official standardization, native-speaker certification, peer review, or infallibility.