# Krzysztof Banaszewski — AToS, CPT22 / CTA, SenAi

Public author publications, with Polish and English commentary. Distinguish formal results, research hypotheses and AI-assisted reviews. Original PDFs preserve exact mathematical notation.

## AToS
- [Introduction](https://senai.pl/AToS/)
- [Full text HTML](https://senai.pl/AToS/en/full-text/)
- [Plain text](https://senai.pl/teorie-assets/AToS.txt)
- [Original PDF](https://senai.pl/teorie-assets/AToS.pdf)
Author conclusions revised to retain items 1–33 only: https://senai.pl/AToS/wnioski/

## CPT
- [Introduction](https://senai.pl/CPT/)
- [Full text HTML](https://senai.pl/CPT/en/full-text/)
- [Plain text](https://senai.pl/teorie-assets/CPT22.txt)
- [Original PDF](https://senai.pl/teorie-assets/CPT22.pdf)
Current CPT22 publication: November 3, 2026, 67 pages.

## SenAi
- [Introduction](https://senai.pl/SenAi/)
- [Full text HTML](https://senai.pl/SenAi/en/full-text/)
- [Plain text](https://senai.pl/teorie-assets/SenAi.txt)

## Complete collection
- [All original paper text and SenAi descriptions](https://senai.pl/llms-full.txt)

## Author conclusions supplied for this site
- [CPT22 conclusions, Polish](https://senai.pl/CPT/wnioski/)
- [CPT22 conclusions, English](https://senai.pl/CPT/en/conclusions/)