The following pages link to Teresa Bigorajska (Q2732284):
Displayed 9 items.
- Existentially closed structures and Gödel's second incompleteness theorem (Q2732285) (← links)
- Partitioning 𝛼–large sets: Some lower bounds (Q3420352) (← links)
- (Q4222594) (← links)
- Universal Induction and True Universal Arithmetic (Q4304155) (← links)
- On Σ<sub>1</sub>‐definable Functions Provably Total in I ∏ (Q4323837) (← links)
- (Q4700239) (← links)
- Some combinatorics involving ξ-large sets (Q4790189) (← links)
- Strongly maximal subgroups determined by elements in interstices (Q4798210) (← links)
- Functions provably total in $I^{-}Σ_{n}$ (Q5904006) (← links)