Cited in
(37)- Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
- The complexity of classification problems for models of arithmetic
- Model-theoretic applications of cofinality spectrum problems
- The structural complexity of models of arithmetic
- Automorphism groups of models of Peano arithmetic
- Interstitial and pseudo gaps in models of Peano arithmetic
- Decoding in the automorphism group of a recursively saturated model of arithmetic
- A new omitting types theorem for L(Q)
- Recursively saturated nonstandard models of arithmetic
- Ultrafilters and types on models of arithmetic
- Some observations on the substructure lattice of a _1 ultrapower
- \(\text{PA} (aa)\)
- Scott's problem for Proper Scott sets
- Weakly Definable Types
- Ehrenfeucht's lemma in set theory
- On cofinal submodels and elementary interstices
- A weakly definable type which is not definable
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
- Automorphisms of countable recursively saturated models of PA: A survey
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic
- Infinitary definitions of equivalence relations in models of PA
- A model of peano arithmetic with no elementary end extension
- R.e. Prime powers and total rigidity
- Finite Substructure Lattices of Models of Peano Arithmetic
- Iterated ultrapowers for the masses
- Four problems concerning recursively saturated models of arithmetic
- Rank-initial embeddings of non-standard models of set theory
- Automorphisms of models of arithmetic: a unified view
- Sub-arithmetical ultrapowers: A survey
- Automorphisms of recursively saturated models of arithmetic
- The classification of countable models of set theory
- A standard model of Peano arithmetic with no conservative elementary extension
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
- Minimal elementary extensions of models of set theory and arithmetic
- Fixed points of self-embeddings of models of arithmetic
- End extensions of models of fragments of \(\mathrm{PA}\)
- Tanaka's theorem revisited
This page was built for publication: Models and types of Peano's arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4096940)
