scientific article; zbMATH DE number 2208069

MaRDI QIDQ5693580zbMATH OpenFDO

Authors Juliette Kennedy

Publication date 26 September 2005

zbMATH Keywords

countable model of true arithmeticnonstandard models of true arithmeticsatisfaction

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• On embedding models of arithmetic of cardinality \aleph₁into reduced powers
• Construction of models of bounded arithmetic by restricted reduced powers
• Theories of arithmetics in finite models
• scientific article; zbMATH DE number 4043837
• On LP-models of arithmetic
• scientific article; zbMATH DE number 999649
• Representability of functions in finite models. Arithmetical theories
• Fixed points of self-embeddings of models of arithmetic
• Models for substructural arithmetics
• Models of arithmetic in \(A\)-isols

Cited in

(8)

• Sequences in countable nonstandard models of the natural numbers
• Algebraic combinatorics in bounded induction
• Sub-arithmetical ultrapowers: A survey
• On embedding models of arithmetic of cardinality \aleph₁into reduced powers
• scientific article; zbMATH DE number 1405580 (Why is no real title available?)
• Topological models of arithmetic
• Construction of models of bounded arithmetic by restricted reduced powers
• Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5693580)