DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Tarskis_axioms> ?p ?o }

• Tarskis_axioms abstract "Tarski's axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry, called "elementary," that is formulable in first-order logic with identity, and requiring no set theory (Tarski 1959). Other modern axiomizations of Euclidean geometry are those by Hilbert and George Birkhoff.".
• Tarskis_axioms wikiPageExternalLink books?id=eVVKtnKzfnUC&pg=PA16.
• Tarskis_axioms wikiPageExternalLink summary?doi=10.1.1.27.9012.
• Tarskis_axioms wikiPageID "2181360".
• Tarskis_axioms wikiPageLength "20910".
• Tarskis_axioms wikiPageOutDegree "137".
• Tarskis_axioms wikiPageRevisionID "674154927".
• Tarskis_axioms wikiPageWikiLink Absolute_geometry.
• Tarskis_axioms wikiPageWikiLink Affine_geometry.
• Tarskis_axioms wikiPageWikiLink Alfred_Tarski.
• Tarskis_axioms wikiPageWikiLink Algorithm.
• Tarskis_axioms wikiPageWikiLink Angle.
• Tarskis_axioms wikiPageWikiLink Atomic_sentence.
• Tarskis_axioms wikiPageWikiLink Axiom.
• Tarskis_axioms wikiPageWikiLink Axiom_of_Pasch.
• Tarskis_axioms wikiPageWikiLink Axiom_schema.
• Tarskis_axioms wikiPageWikiLink Binary_relation.
• Tarskis_axioms wikiPageWikiLink Birkhoffs_axioms.
• Tarskis_axioms wikiPageWikiLink Cartesian_coordinate_system.
• Tarskis_axioms wikiPageWikiLink Category:Elementary_geometry.
• Tarskis_axioms wikiPageWikiLink Category:Foundations_of_geometry.
• Tarskis_axioms wikiPageWikiLink Category:Mathematical_axioms.
• Tarskis_axioms wikiPageWikiLink Circle.
• Tarskis_axioms wikiPageWikiLink Complete_theory.
• Tarskis_axioms wikiPageWikiLink Completeness_(logic).
• Tarskis_axioms wikiPageWikiLink Congruence_(geometry).
• Tarskis_axioms wikiPageWikiLink Congruence_relation.
• Tarskis_axioms wikiPageWikiLink Connection_(mathematics).
• Tarskis_axioms wikiPageWikiLink Consistency.
• Tarskis_axioms wikiPageWikiLink Decidability_(logic).
• Tarskis_axioms wikiPageWikiLink Decision_problem.
• Tarskis_axioms wikiPageWikiLink Decision_procedure.
• Tarskis_axioms wikiPageWikiLink Dedekind_complete.
• Tarskis_axioms wikiPageWikiLink Dedekind_cut.
• Tarskis_axioms wikiPageWikiLink Density.
• Tarskis_axioms wikiPageWikiLink Dimension.
• Tarskis_axioms wikiPageWikiLink Distance.
• Tarskis_axioms wikiPageWikiLink Elementary_theory.
• Tarskis_axioms wikiPageWikiLink Equality_(mathematics).
• Tarskis_axioms wikiPageWikiLink Equivalence_relation.
• Tarskis_axioms wikiPageWikiLink Euclidean_geometry.
• Tarskis_axioms wikiPageWikiLink Euclidean_plane_geometry.
• Tarskis_axioms wikiPageWikiLink Euclidean_relation.
• Tarskis_axioms wikiPageWikiLink Euclidean_space.
• Tarskis_axioms wikiPageWikiLink Euclids_Elements.
• Tarskis_axioms wikiPageWikiLink Euclids_axioms.
• Tarskis_axioms wikiPageWikiLink Euclids_elements.
• Tarskis_axioms wikiPageWikiLink Existential_quantification.
• Tarskis_axioms wikiPageWikiLink Existential_quantifier.
• Tarskis_axioms wikiPageWikiLink Finitary_relation.
• Tarskis_axioms wikiPageWikiLink First-order_logic.
• Tarskis_axioms wikiPageWikiLink First-order_theory.
• Tarskis_axioms wikiPageWikiLink First_order_logic.
• Tarskis_axioms wikiPageWikiLink Formal_system.
• Tarskis_axioms wikiPageWikiLink Free_variable.
• Tarskis_axioms wikiPageWikiLink Free_variables_and_bound_variables.
• Tarskis_axioms wikiPageWikiLink Gxc3xb6dels_first_incompleteness_theorem.
• Tarskis_axioms wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
• Tarskis_axioms wikiPageWikiLink Hilberts_axioms.
• Tarskis_axioms wikiPageWikiLink Hyperbolic_geometry.
• Tarskis_axioms wikiPageWikiLink Identity_(mathematics).
• Tarskis_axioms wikiPageWikiLink Interior_angle.
• Tarskis_axioms wikiPageWikiLink Internal_and_external_angle.
• Tarskis_axioms wikiPageWikiLink Interpretability.
• Tarskis_axioms wikiPageWikiLink Least-upper-bound_property.
• Tarskis_axioms wikiPageWikiLink Line_segment.
• Tarskis_axioms wikiPageWikiLink Mario_Pieri.
• Tarskis_axioms wikiPageWikiLink Mathematical_Intelligencer.
• Tarskis_axioms wikiPageWikiLink Mathematical_logic.
• Tarskis_axioms wikiPageWikiLink Measurement.
• Tarskis_axioms wikiPageWikiLink Metamathematics.
• Tarskis_axioms wikiPageWikiLink Metric_space.
• Tarskis_axioms wikiPageWikiLink Model_theory.
• Tarskis_axioms wikiPageWikiLink Parallel_postulate.
• Tarskis_axioms wikiPageWikiLink Paschs_axiom.
• Tarskis_axioms wikiPageWikiLink Point_(geometry).
• Tarskis_axioms wikiPageWikiLink Polyadic_relation.
• Tarskis_axioms wikiPageWikiLink Predicate_(mathematical_logic).
• Tarskis_axioms wikiPageWikiLink Prenex_normal_form.
• Tarskis_axioms wikiPageWikiLink Primitive_data_type.
• Tarskis_axioms wikiPageWikiLink Primitive_notion.
• Tarskis_axioms wikiPageWikiLink Primitive_object.
• Tarskis_axioms wikiPageWikiLink Quadrilateral.
• Tarskis_axioms wikiPageWikiLink Quantifier_elimination.
• Tarskis_axioms wikiPageWikiLink Real_closed_field.
• Tarskis_axioms wikiPageWikiLink Real_line.
• Tarskis_axioms wikiPageWikiLink Reflexive_relation.
• Tarskis_axioms wikiPageWikiLink Relation_(mathematics).
• Tarskis_axioms wikiPageWikiLink Right_angle.
• Tarskis_axioms wikiPageWikiLink Right_angles.
• Tarskis_axioms wikiPageWikiLink Robinson_arithmetic.
• Tarskis_axioms wikiPageWikiLink Second-order_logic.
• Tarskis_axioms wikiPageWikiLink Sentence_(logic).
• Tarskis_axioms wikiPageWikiLink Sentence_(mathematical_logic).
• Tarskis_axioms wikiPageWikiLink Set_theory.
• Tarskis_axioms wikiPageWikiLink Solid_geometry.
• Tarskis_axioms wikiPageWikiLink Symmetry.
• Tarskis_axioms wikiPageWikiLink Syntax_(logic).
• Tarskis_axioms wikiPageWikiLink Ternary_relation.
• Tarskis_axioms wikiPageWikiLink The_Mathematical_Intelligencer.

• next