Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297884612> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4297884612 abstract "Abstract In this paper, decidability of the structures of real, rational, integer and natural numbers will be studied in different languages. Decidability or undecidability of mathematical structures is one of the fundamental and sometimes very difficult problems of mathematical logic, where several examples of problems in this field are still open and unresolved even after decades. One of the goals of Mathematical Logic is the axiomatization of mathematical theoriesTarski has proved the decidability of the theory of real and complex numbers in the language of addition and multiplication, and it is proved that theories of natural, integer, and rational numbers, in the language of addition and multiplication, are undecidable (Theorems of Gödel and Robinson). We will proof The following problemes: The Main Problem 1: ⟨Q; ⊑⟩ is decidable? Problem 2: an explicit axiomatization for ⟨Z; x⟩? and we will study boolean algebras. Boolean algebras are famous mathematical structures. Tarski showed the decidability of the elementary theory of Boolean algebras.In this paper, we study the different kinds of Boolean algebras and their properties. And we present for the first-order theory of atomic Boolean algebras a quantifier elimination algorithm. The subset relation is a partial order and indeed a lattice order, And I will prove that the theory of atomic Boolean lattice orders is decidable, and furthermore admits elimination of quantifiers. So the theory of the subset relation is decidable. And we will study decidability of atomlss boolean algebra." @default.
- W4297884612 created "2022-10-01" @default.
- W4297884612 creator A5020211046 @default.
- W4297884612 date "2022-09-20" @default.
- W4297884612 modified "2023-09-27" @default.
- W4297884612 title "Structure-Decidable structure-examples of decidable structures with proof-some examples of undecidable structures" @default.
- W4297884612 doi "https://doi.org/10.21203/rs.3.rs-2050628/v1" @default.
- W4297884612 hasPublicationYear "2022" @default.
- W4297884612 type Work @default.
- W4297884612 citedByCount "0" @default.
- W4297884612 crossrefType "posted-content" @default.
- W4297884612 hasAuthorship W4297884612A5020211046 @default.
- W4297884612 hasBestOaLocation W42978846121 @default.
- W4297884612 hasConcept C118615104 @default.
- W4297884612 hasConcept C136119220 @default.
- W4297884612 hasConcept C153269930 @default.
- W4297884612 hasConcept C169171071 @default.
- W4297884612 hasConcept C184264201 @default.
- W4297884612 hasConcept C192034797 @default.
- W4297884612 hasConcept C199360897 @default.
- W4297884612 hasConcept C202444582 @default.
- W4297884612 hasConcept C207764348 @default.
- W4297884612 hasConcept C33923547 @default.
- W4297884612 hasConcept C39685927 @default.
- W4297884612 hasConcept C41008148 @default.
- W4297884612 hasConcept C45503250 @default.
- W4297884612 hasConcept C81518389 @default.
- W4297884612 hasConcept C97137487 @default.
- W4297884612 hasConceptScore W4297884612C118615104 @default.
- W4297884612 hasConceptScore W4297884612C136119220 @default.
- W4297884612 hasConceptScore W4297884612C153269930 @default.
- W4297884612 hasConceptScore W4297884612C169171071 @default.
- W4297884612 hasConceptScore W4297884612C184264201 @default.
- W4297884612 hasConceptScore W4297884612C192034797 @default.
- W4297884612 hasConceptScore W4297884612C199360897 @default.
- W4297884612 hasConceptScore W4297884612C202444582 @default.
- W4297884612 hasConceptScore W4297884612C207764348 @default.
- W4297884612 hasConceptScore W4297884612C33923547 @default.
- W4297884612 hasConceptScore W4297884612C39685927 @default.
- W4297884612 hasConceptScore W4297884612C41008148 @default.
- W4297884612 hasConceptScore W4297884612C45503250 @default.
- W4297884612 hasConceptScore W4297884612C81518389 @default.
- W4297884612 hasConceptScore W4297884612C97137487 @default.
- W4297884612 hasLocation W42978846121 @default.
- W4297884612 hasOpenAccess W4297884612 @default.
- W4297884612 hasPrimaryLocation W42978846121 @default.
- W4297884612 hasRelatedWork W1496446432 @default.
- W4297884612 hasRelatedWork W1636549251 @default.
- W4297884612 hasRelatedWork W1992562348 @default.
- W4297884612 hasRelatedWork W2014676306 @default.
- W4297884612 hasRelatedWork W2352445303 @default.
- W4297884612 hasRelatedWork W2887960182 @default.
- W4297884612 hasRelatedWork W4297884612 @default.
- W4297884612 hasRelatedWork W4302283813 @default.
- W4297884612 hasRelatedWork W44211307 @default.
- W4297884612 hasRelatedWork W47894659 @default.
- W4297884612 isParatext "false" @default.
- W4297884612 isRetracted "false" @default.
- W4297884612 workType "article" @default.