Theories of arithmetics in finite models

DOI10.2178/JSL/1107298508zbMATH Open1094.03022OpenAlexW1983665017WikidataQ115921923 ScholiaQ115921923MaRDI QIDQ3370752FDOQ3370752

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

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

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)

Cites Work

• On uniformity within \(NC^ 1\)
• Title not available (Why is that?)
• Weak Second‐Order Arithmetic and Finite Automata
• Elementary Methods in Number Theory
• Hilbert's Tenth Problem is Unsolvable
• On representing concepts in finite models
• Arithmetical definability over finite structures
• Arithmetic of divisibility in finite models
• On Pascal triangles modulo a prime power

Cited In (18)

• Title not available (Why is that?)
• Pseudofinite difference fields and counting dimensions
• Pseudofinite difference fields
• Theories of initial segments of standard models of arithmetics and their complete extensions
• On the structure of initial segments of models of arithmetic
• Title not available (Why is that?)
• Models of arithmetic in \(A\)-isols
• Classical and intuitionistic models of arithmetic
• Inconsistent models of arithmetic. I: Finite models
• Title not available (Why is that?)
• Regularity in models of arithmetic
• Representability of functions in finite models. Arithmetical theories
• On cofinal extensions of models of arithmetic
• On Models Constructed by Means of the Arithmetized Completeness Theorem
• Title not available (Why is that?)
• 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)