scientific article; zbMATH DE number 7183906

MaRDI QIDQ5222088zbMATH OpenFDO

Authors Hamid Lessan

Publication date 30 March 2020

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Model theory (number-theoretic aspects) (11U09)

Recommendations

• Models of relevant arithmetic
• scientific article; zbMATH DE number 4070127
• scientific article; zbMATH DE number 51556
• Arithmetically saturated models of arithmetic
• scientific article; zbMATH DE number 2236639
• Theories of arithmetics in finite models
• Classical and intuitionistic models of arithmetic
• Subsets of models of arithmetic

Cited in

(14)

• Pointwise definable substructures of models of Peano arithmetic
• Classical and intuitionistic models of arithmetic
• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
• A model for relative evolution of 0 and 1, the 2 fixed points of multiplication
• Regularity in models of arithmetic
• scientific article; zbMATH DE number 4006270 (Why is no real title available?)
• The Recursively Saturated Part of Models of Peano Arithmetic
• scientific article; zbMATH DE number 4012612 (Why is no real title available?)
• Inconsistent Models for Relevant Arithmetics
• Truth definition for _0 formulas and PSPACE computations
• The structure of models of Peano arithmetic
• Numbers and models, standard and nonstandard
• HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
• The modal logic of arithmetic potentialism and the universal algorithm

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 Q5222088)