"58" . "DE - Spolkov\u00E1 republika N\u011Bmecko" . . "3" . "I, P(GBP202/12/G061), P(IAA100190902)" . . . "Mathematical Logic Quarterly" . "167522" . . . "We show that the universally axiomatized, induction-free theory PA(-) is a sequential theory in the sense of Pudlak's [5], in contrast to the closely related Robinson's arithmetic."@en . "Sequence encoding without induction" . . . . "Je\u0159\u00E1bek, Emil" . "We show that the universally axiomatized, induction-free theory PA(-) is a sequential theory in the sense of Pudlak's [5], in contrast to the closely related Robinson's arithmetic." . "sequential theory; weak arithmetic"@en . "5"^^ . . "1"^^ . . "RIV/67985840:_____/12:00377734" . "0942-5616" . "1"^^ . . "Sequence encoding without induction"@en . . "000303919900014" . "Sequence encoding without induction"@en . "10.1002/malq.201200013" . . "[89C1D04C6E47]" . . "RIV/67985840:_____/12:00377734!RIV13-AV0-67985840" . . "Sequence encoding without induction" . . .