The following pages link to Roman Kossak (Q384285):
Displayed 50 items.
- Division by zero (Q335000) (← links)
- A note on definability in fragments of arithmetic with free unary predicates (Q365661) (← links)
- Book review of: J. Väänänen, Models and games (Q384286) (← links)
- Subsets coded in elementary end extensions (Q403405) (← links)
- Elementary cuts in saturated models of Peano arithmetic (Q424574) (← links)
- The automorphism group of a resplendent model (Q453194) (← links)
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Undefinability of truth and nonstandard models (Q598273) (← links)
- The incompleteness theorems after 70 years (Q598275) (← links)
- Truth in generic cuts (Q636338) (← links)
- Nonstandard arithmetic and recursive comprehension (Q636343) (← links)
- Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence (Q639651) (← links)
- Automorphisms of saturated and boundedly saturated models of arithmetic (Q645748) (← links)
- Book review of: J. Stillwell, Reverse mathematics: proofs from the inside out. (Q666902) (← links)
- The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method (Q676310) (← links)
- Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas (Q701746) (← links)
- A note on a theorem of Kanovei (Q701750) (← links)
- The minimal e-degree problem in fragments of Peano arithmetic (Q705537) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Saturation and simple extensions of models of Peano arithmetic (Q762144) (← links)
- (Q792315) (redirect page) (← links)
- Number of constructive homogeneous models of a complete decidable theory (Q792316) (← links)
- Recursively saturated \(\omega _ 1\)-like models of arithmetic (Q800912) (← links)
- Nonstandard arithmetic of Hilbert subsets (Q810021) (← links)
- Models of Peano arithmetic as modules over initial segments (Q819263) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic (Q866557) (← links)
- Formalization, syntax and the standard model of arithmetic (Q882845) (← links)
- Inductive full satisfaction classes (Q920081) (← links)
- Tennenbaum's theorem and unary functions (Q929636) (← links)
- On two problems concerning end extensions (Q937209) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- What is o-minimality? (Q958486) (← links)
- Arithmetic of Dedekind cuts of ordered abelian groups (Q998307) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- On interpretations of bounded arithmetic and bounded set theory (Q1038653) (← links)
- Automorphisms of countable short recursively saturated models of PA (Q1049737) (← links)
- The sum of irreducible fractions with consecutive denominators is never an integer in \(\mathrm{PA}^-\) (Q1049744) (← links)
- A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic (Q1064322) (← links)
- First-order theories of abstract dependence relations (Q1073012) (← links)
- Examples of nonautostable systems (Q1077409) (← links)
- Relatively diophantine correct models of arithmetic (Q1097277) (← links)
- Definable sets and expansions of models of Peano arithmetic (Q1102945) (← links)
- Partially generic formulas in arithmetic (Q1105594) (← links)
- Bounded arithmetic and truth definition (Q1107528) (← links)
- Playing with admissibility spectra (Q1111551) (← links)
- Arithmetic analogues of McAloon's unique Rosser sentences (Q1114685) (← links)
- On the structure of initial segments of models of arithmetic (Q1123890) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- Minimal satisfaction classes with an application to rigid models of Peano arithmetic (Q1182707) (← links)