The following pages link to Roman Kossak (Q384285):
Displaying 39 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)
- 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)
- Book review of: J. Stillwell, Reverse mathematics: proofs from the inside out. (Q666902) (← 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)
- Recursively saturated \(\omega _ 1\)-like models of arithmetic (Q800912) (← 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)
- 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)
- Relatively diophantine correct models of arithmetic (Q1097277) (← links)
- Partially generic formulas in arithmetic (Q1105594) (← links)
- Minimal satisfaction classes with an application to rigid models of Peano arithmetic (Q1182707) (← links)
- End extensions of models of arithmetic (Q1203781) (← links)
- On closed elementary cuts in recursively saturated models of Peano arithmetic (Q1309332) (← links)
- Quadratic residues and \(x^ 3+y^ 3=z^ 3\) in models of \(IE_ 1\) and \(IE_ 2\) (Q1317987) (← links)
- On two questions concerning the automorphism groups of countable recursively saturated models of PA (Q1354336) (← links)
- Classical and intuitionistic models of arithmetic (Q1355126) (← links)
- Toward the limits of the Tennenbaum phenomenon (Q1377555) (← links)
- On complexity reduction of \(\Sigma_1\) formulas (Q1407576) (← links)
- A note on end extensions (Q1584015) (← links)
- Book review of: P. Mancosu, Abstraction and infinity (Q1670973) (← links)
- On interpretations of arithmetic and set theory (Q2425351) (← links)
