Zofia Adamowicz

Available identifiers

zbMath Open adamowicz.zofiaWikidataQ102173623 ScholiaQ102173623MaRDI QIDQ218976

List of research outcomes

Publication	Date of Publication	Type
Restricted polynomial induction versus parameter free ordinary induction	2022-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q5222072	2020-03-30	Paper
Restricted polynomial induction versus ordinary induction	2018-06-07	Paper
EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC	2016-08-19	Paper
Truth definitions without exponentiation and the Σ1 collection scheme	2012-06-19	Paper
Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics	2011-03-22	Paper
A note on the Σ1collection scheme and fragments of bounded arithmetic	2010-04-15	Paper
Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic	2007-02-14	Paper
Well-behaved principles alternative to bounded induction	2004-10-27	Paper
An application of a reflection principle	2004-08-19	Paper
On complexity reduction of \(\Sigma_1\) formulas	2003-09-16	Paper
Existentially closed structures and Gödel's second incompleteness theorem	2002-03-11	Paper
Herbrand consistency and bounded arithmetic	2002-02-21	Paper
On Herbrand consistency in weak arithmetic	2001-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q2736254	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4250048	1999-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q4339021	1997-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4863274	1996-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4324357	1995-08-27	Paper
A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem	1993-09-22	Paper
A sharp version of the bounded Matijasevich conjecture and the end-extension problem	1993-04-01	Paper
On maximal theories	1992-06-27	Paper
End-extending models of $IΔ_0 + exp + ΒΣ_1$	1992-06-25	Paper
Functions provably total in $I^{-}Σ_{n}$	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3807194	1988-01-01	Paper
A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$	1988-01-01	Paper
A Note on BΣn and an Intermediate Induction Schema	1988-01-01	Paper
Open induction and the true theory of rationals	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3768889	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3775554	1986-01-01	Paper
A recursive model for arithmetic with weak induction	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3728897	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3679142	1984-01-01	Paper
Axiomatization of the forcing relation with an application to Peano Arithmetic	1984-01-01	Paper
Continuous relations and generalized $G_δ$ sets	1984-01-01	Paper
A generalization of Shoenfield theorem on $(Σ^1)_2$ sets	1984-01-01	Paper
Perfect set theorems for $Π^1_2$ in the universe without choice	1983-01-01	Paper
On finite lattices of degrees of constructibility	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4147977	1977-01-01	Paper
On finite lattices of degrees of constructibility of reals	1976-01-01	Paper
One more aspect of forcing and omitting types	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4090327	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Zofia Adamowicz