L(P.4) containing 0. S. +. . and Ilased on the usual axiom including the axiom scheme of induction. A; denotes the second order arithmetic formalized in a ...
Some More Remarks on Expandability of Initial Segments.Roman Murawski - 1986 - Mathematical Logic Quarterly 32 (25‐30):445-450. Roman Murawski, recursive ...
Trace expansions of initial segments.Roman Murawski - 1984 - Mathematical Logic Quarterly 30 (30):471-476. Some Properties of the Family of Expansions to ...
Journal series: Mathematical Logic Quarterly, ISSN 0942-5616; Issue year: 1984; Vol: 30; Pages: 471-476; ASJC Classification: 2609 Logic ...
Tytuł czasopisma/serii: Mathematical Logic Quarterly, ISSN 0942-5616; Rok wydania: 1984; Tom: 30; Paginacja: 471-476; Klasyfikacja ASJC: 2609 Logic ...
We consider expansions of models of Peano arithmetic to models ofA s2 -¦Δ 11 +Σ 11 −AC which consist of families of sets definable by nonstandard formulas.
Some Remarks on the Structure of Expansions. Article. Jan 1980; MATH LOGIC QUART. Roman Murawski · View · Trace expansions of initial segments. Article.
The axon initial segment (AIS) is located at the proximal axon and is the site of action potential initiation. This reflects the high density of ion ...
Missing: Trace Expansions
A cycle expansion is a series representation of a dynamical zeta function, trace formula or a spectral determinant, with products in (22.11) expanded as ...
Let (A,<=) be a well ordered set. Then the set {a in A:a<k} for some k in A is called an initial segment of A.
Missing: Trace Expansions