The following pages link to Zofia Adamowicz (Q218976):
Displaying 42 items.
- A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem (Q685067) (← links)
- Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic (Q866557) (← links)
- On complexity reduction of \(\Sigma_1\) formulas (Q1407576) (← links)
- Well-behaved principles alternative to bounded induction (Q1885028) (← links)
- Existentially closed structures and Gödel's second incompleteness theorem (Q2732285) (← links)
- (Q2736254) (← links)
- Herbrand consistency and bounded arithmetic (Q2773372) (← links)
- Truth definitions without exponentiation and the Σ<sub>1</sub> collection scheme (Q2892683) (← links)
- Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics (Q3083669) (← links)
- EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC (Q3188343) (← links)
- Perfect set theorems for $Π^1_2$ in the universe without choice (Q3322089) (← links)
- A note on the Σ<sub>1</sub>collection scheme and fragments of bounded arithmetic (Q3552388) (← links)
- (Q3679142) (← links)
- A recursive model for arithmetic with weak induction (Q3697018) (← links)
- Axiomatization of the forcing relation with an application to Peano Arithmetic (Q3699672) (← links)
- Continuous relations and generalized $G_δ$ sets (Q3718701) (← links)
- (Q3728897) (← links)
- A generalization of Shoenfield theorem on $(Σ^1)_2$ sets (Q3741622) (← links)
- (Q3768889) (← links)
- Open induction and the true theory of rationals (Q3773857) (← links)
- (Q3775554) (← links)
- (Q3807194) (← links)
- A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$ (Q3807195) (← links)
- End-extending models of $IΔ_0 + exp + ΒΣ_1$ (Q3971940) (← links)
- On maximal theories (Q3985086) (← links)
- A sharp version of the bounded Matijasevich conjecture and the end-extension problem (Q4032645) (← links)
- (Q4090327) (← links)
- On finite lattices of degrees of constructibility of reals (Q4111559) (← links)
- (Q4147977) (← links)
- On finite lattices of degrees of constructibility (Q4159371) (← links)
- One more aspect of forcing and omitting types (Q4192050) (← links)
- (Q4250048) (← links)
- (Q4324357) (← links)
- (Q4339021) (← links)
- Restricted polynomial induction versus ordinary induction (Q4565103) (← links)
- A Note on BΣ<sub><i>n</i></sub> and an Intermediate Induction Schema (Q4735189) (← links)
- An application of a reflection principle (Q4811317) (← links)
- (Q4863274) (← links)
- Restricted polynomial induction versus parameter free ordinary induction (Q5066172) (← links)
- (Q5222072) (← links)
- Functions provably total in $I^{-}Σ_{n}$ (Q5904006) (← links)
- On Herbrand consistency in weak arithmetic (Q5950714) (← links)
