Finite undecidability in PAC and PRC fields

Annals of Pure and Applied Logic 175 (10):103465 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2024.103465

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Finite Undecidability in Nip Fields.Brian Tyrrell - 2025 - Journal of Symbolic Logic 90 (2):509-532.
Dp-finite fields I(A): The infinitesimals.Will Johnson - 2021 - Annals of Pure and Applied Logic 172 (6):102947.
Finitely inseparable first-order axiomatized mereotopological theories.Hsing-Chien Tsai - 2013 - Logic and Logical Philosophy 22 (3):347-363.
Model theory of finite fields and pseudo-finite fields.Zoé Chatzidakis - 1997 - Annals of Pure and Applied Logic 88 (2-3):95-108.
Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
The undecidability of the spatialized prisoner's dilemma.Patrick Grim - 1997 - Theory and Decision 42 (1):53-80.
An undecidability theorem for lattices over group rings.Carlo Toffalori - 1997 - Annals of Pure and Applied Logic 88 (2-3):241-262.
Undecidability of representability as binary relations.Robin Hirsch & Marcel Jackson - 2012 - Journal of Symbolic Logic 77 (4):1211-1244.
Arithmetic of divisibility in finite models.Anna E. Wasilewska & Marcin Mostowski - 2004 - Mathematical Logic Quarterly 50 (2):169.

Analytics

Added to PP
2024-05-21

Downloads
44 (#1,295,613)

6 months
13 (#892,628)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Characterizing Rosy Theories.Clifton Ealy & Alf Onshuus - 2007 - Journal of Symbolic Logic 72 (3):919-940.
Finite Undecidability in Nip Fields.Brian Tyrrell - 2025 - Journal of Symbolic Logic 90 (2):509-532.
Pseudo real closed fields, pseudo p-adically closed fields and NTP2.Samaria Montenegro - 2017 - Annals of Pure and Applied Logic 168 (1):191-232.
Simple unstable theories.Saharon Shelah - 1980 - Annals of Mathematical Logic 19 (3):177.
Some theorems on definability and decidability.Alonzo Church & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):179-187.

View all 9 references / Add more references