About: List of first-order theories

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: List of first-order theories Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org:8891 associated with source document(s)
QRcode icon

http://dbpedia.org:8891/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FList_of_first-order_theories

In first-order logic, a first-order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties.

Attributes	Values
rdfs:label	List of first-order theories (en) Lista de teorias de primeira ordem (pt)
rdfs:comment	In first-order logic, a first-order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. (en) Na lógica, uma teoria de primeira ordem é um conjunto de fórmulas que fazem sentido em uma linguagem de primeira ordem. Inúmeras teorias da matemática como a teoria dos anéis, a teoria dos grupos e as teorias dos conjuntos são teorias de primeira ordem. (pt)
dcterms:subject	Mathematical logic Model theory Mathematics-related lists
Wikipage page ID	3690584 (xsd:integer)
Wikipage revision ID	1108368681 (xsd:integer)
Link from a Wikipage to another Wikipage	Cambridge University Press Prime field Projective geometry Quantifier elimination Elementary equivalence Model theory New Foundations Non-negative integer Totally transcendental Boolean algebras Algebraic structure Peano arithmetic Reverse mathematics Von Neumann–Bernays–Gödel set theory Decidability (logic) Decidability of first-order theories of the real numbers List of large cardinal properties List of mathematical theories List of order structures in mathematics Transfinite induction Tarski's axioms Positive set theory Presburger arithmetic Countable set Mathematical induction Chevalley–Warning theorem General set theory Simple group Tarski–Grothendieck set theory Rado graph Class (set theory) Elsevier Generalized continuum hypothesis Glossary of areas of mathematics Graph (discrete mathematics) Modular lattice Constructive set theory Equivalence class Martin's maximum Ordered geometry Antisymmetric relation Arithmetical hierarchy Arity Linear order Clubsuit Commutative ring Compactness theorem Complete lattice Dense order Zermelo–Fraenkel set theory Empty set Identity (philosophy) Kripke–Platek set theory Pocket set theory Primitive recursive arithmetic Proper forcing axiom Spectrum of a theory Successor function Automorphism Axiom schema of specification Transitive relation Distributive lattice Divisible group Lattice (order) Propositional function Robinson arithmetic Morley's categoricity theorem Algebra Equivalence relation Field (mathematics) Finite field First-order logic Nilpotent group Cardinal number Cardinality Differentially closed field Formally real field Graduate Texts in Mathematics Hilbert's axioms Equivalence classes Free variable Well-formed formula Prime model Ring (mathematics) Group (mathematics) Gödel's incompleteness theorem Gödel's incompleteness theorems Heyting algebra Atomic model (mathematical logic) Hyperbolic geometry Prime number

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software