Theories of arithmetics in finite models

DOI10.2178/JSL/1107298508MaRDI QIDQ3370752zbMATH OpenOpenAlexWikidataFDO

Authors Michał Krynicki, Konrad Zdanowski

Publication date 8 February 2006

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.2369

zbMATH Keywords

complexityspectrumdecidabilityarithmeticdefinabilityfinite modelssufficiently large models

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Model theory of finite structures (03C13) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Other classical first-order model theory (03C68)

Recommendations

• scientific article; zbMATH DE number 5241977
• Theories of initial segments of standard models of arithmetics and their complete extensions
• On End‐Extensions of Models of ¬exp
• Arithmetic of divisibility in finite models
• Computer Science Logic

Cites work

• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Arithmetic of divisibility in finite models
• Arithmetical definability over finite structures
• Elementary Methods in Number Theory
• Hilbert's Tenth Problem is Unsolvable
• On Pascal triangles modulo a prime power
• On representing concepts in finite models
• On uniformity within \(NC^ 1\)
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(18)

• scientific article; zbMATH DE number 5778051 (Why is no real title available?)
• Pseudofinite difference fields and counting dimensions
• Theories of initial segments of standard models of arithmetics and their complete extensions
• On the structure of initial segments of models of arithmetic
• scientific article; zbMATH DE number 7183906 (Why is no real title available?)
• Models of arithmetic in \(A\)-isols
• Classical and intuitionistic models of arithmetic
• Inconsistent models of arithmetic. I: Finite models
• Regularity in models of arithmetic
• scientific article; zbMATH DE number 2236624 (Why is no real title available?)
• Representability of functions in finite models. Arithmetical theories
• On cofinal extensions of models of arithmetic
• Retracted: Pseudofinite difference fields
• On Models Constructed by Means of the Arithmetized Completeness Theorem
• scientific article; zbMATH DE number 2208069 (Why is no real title available?)
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• Construction of models of bounded arithmetic by restricted reduced powers
• Minimal elementary extensions of models of set theory and arithmetic

This page was built for publication: Theories of arithmetics in finite models

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