4 found
Sort by:
  1. Teresa Bigorajska (2003). Strongly Maximal Subgroups Determined by Elements in Interstices. Mathematical Logic Quarterly 49 (1):101-108.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Zofia Adamowicz & Teresa Bigorajska (2001). Existentially Closed Structures and Gödel's Second Incompleteness Theorem. Journal of Symbolic Logic 66 (1):349-356.
    We prove that any 1-closed (see def 1.1) model of the Π 2 consequences of PA satisfies ¬Cons PA which gives a proof of the second Godel incompleteness theorem without the use of the Godel diagonal lemma. We prove a few other theorems by the same method.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Teresa Bigorajska (1995). On Σ1‐Definable Functions Provably Total in I ∏ 1−. Mathematical Logic Quarterly 41 (1):135-137.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Teresa Bigorajska (1994). Universal Induction and True Universal Arithmetic. Mathematical Logic Quarterly 40 (1):103-105.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation