. . "RIV/67985840:_____/07:00085348!RIV08-AV0-67985840" . "[E5A8AB1D7075]" . . . . "54;70" . "422495" . "We introduce a nonstandard arithmetic NQA\u00AD-\u00ADbased on the theory developed by R. Chuaqui and P. Suppes in [2](we will denote it by NQA+), with a weakened external open minimization schema. A finitary consistency proof for NQA-formalizable in PRA is presented. We also show interesting facts about the strength of the theories NQA-and NQA+. NQA- is mutually interpretable with |.DELTA.0 + EXP, and on the other hand, NQA+interprets the theories |.SIGMA.1 and WKL0." . "Z(AV0Z10190503)" . "7"^^ . "Je\u0159\u00E1bek, Emil" . . "nonstandard analysis; finitism; proof theory"@en . . "We introduce a nonstandard arithmetic NQA\u00AD-\u00ADbased on the theory developed by R. Chuaqui and P. Suppes in [2](we will denote it by NQA+), with a weakened external open minimization schema. A finitary consistency proof for NQA-formalizable in PRA is presented. We also show interesting facts about the strength of the theories NQA-and NQA+. NQA- is mutually interpretable with |.DELTA.0 + EXP, and on the other hand, NQA+interprets the theories |.SIGMA.1 and WKL0."@en . "Fragment nestandardn\u00ED anal\u00FDzy s finit\u00E1rn\u00EDm d\u016Fkazem konzistence"@cs . "R\u00F6ssler, M." . . "Fragment of Nonstandard Analysis with a Finitary Consistency Proof"@en . "13" . "Fragment of Nonstandard Analysis with a Finitary Consistency Proof" . . . "Fragment of Nonstandard Analysis with a Finitary Consistency Proof" . "Fragment nestandardn\u00ED anal\u00FDzy s finit\u00E1rn\u00EDm d\u016Fkazem konzistence"@cs . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "2"^^ . . . "Zavedeme slabou verzi NQA- teorie Chuaquiho a Suppese zna\u010Den\u00E9 NQA+. Uk\u00E1\u017Eeme finit\u00E1rn\u00ED d\u016Fkaz jej\u00ED konzistence formalizovateln\u00FD v PRA. Prozkoum\u00E1me interpretovatelnost NQA- a NQA+ v jin\u00FDch aritmetik\u00E1ch."@cs . "1" . "1079-8986" . "1"^^ . . "Bulletin of Symbolic Logic" . . "Fragment of Nonstandard Analysis with a Finitary Consistency Proof"@en . . "RIV/67985840:_____/07:00085348" .