Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields

Vincent Astier

doi:10.4064/fm220-1-2

ScienceGate Book Chapters

JOURNAL ARTICLE

Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields

Vincent Astier

Year: 2013 Journal: Fundamenta Mathematicae Vol: 220 (1)Pages: 7-21 Publisher: Polish Academy of Sciences

DOI: 10.4064/fm220-1-2

Get Full-Text PDF Get Analytical Report

Abstract

We prove that the boolean algebras of sets definable in elementarily equivalent o-minimal expansions of real closed fields are back-and-forth equivalent, and in particular elementarily equivalent, in the language of boolean algebras with new predicates in

Keywords:

Mathematics Equivalence (formal languages) Boolean algebras canonically defined Discrete mathematics Pure mathematics Algebra over a field Two-element Boolean algebra Algebra representation

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.11

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Advanced Topology and Set Theory

Physical Sciences → Mathematics → Geometry and Topology

Computability, Logic, AI Algorithms

Physical Sciences → Computer Science → Computational Theory and Mathematics

Logic, Reasoning, and Knowledge

Physical Sciences → Computer Science → Artificial Intelligence

Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields

Abstract

Metrics

Citation History

Topics

Related Documents

On Groups and Rings Definable In O-Minimal Expansions of Real Closed Fields

Measuring definable sets in o-minimal fields

Strongly minimal expansions of (ℂ, +) definable in o-minimal fields

Definable equivalence relations on algebraically closed fields

Connected components of groups and o-minimal expansions of real closed fields