- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Unbounded actions of metric groups and continuous logic
Mathematical Logic Quarterly 67 (2):206-225 (2021)
Abstract
We study expressive power of continuous logic in classes of metric groups defined by properties of their actions. We concentrate on unbounded continuous actions on metric spaces. For example, we consider the properties non‐OB, non‐FH and non‐FR.My notes
Similar books and articles
Continuous first order logic for unbounded metric structures.Itaï Ben Yaacov - 2008 - Journal of Mathematical Logic 8 (2):197-223.
Continuous Logic and Borel Equivalence Relations.Andreas Hallbäck, Maciej Malicki & Todor Tsankov - 2023 - Journal of Symbolic Logic 88 (4):1725-1752.
Categorical semantics of metric spaces and continuous logic.Simon Cho - 2020 - Journal of Symbolic Logic 85 (3):1044-1078.
A note on unbounded metric temporal logic over dense time domains.Stefano Baratella & Andrea Masini - 2006 - Mathematical Logic Quarterly 52 (5):450-456.
Formal continuity implies uniform continuity near compact images on metric spaces.Erik Palmgren - 2014 - Mathematical Logic Quarterly 60 (1-2):66-69.
An infinitary variant of Metric Temporal Logic over dense time domains.S. Baratella - 2004 - Mathematical Logic Quarterly 50 (3):249.
Eventually open action.Barbara Majcher-Iwanow - 2012 - Mathematical Logic Quarterly 58 (1-2):95-104.
Encoding Complete Metric Structures by Classical Structures.Nathanael Leedom Ackerman - 2020 - Logica Universalis 14 (4):421-459.
Metric spaces and the axiom of choice.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2003 - Mathematical Logic Quarterly 49 (5):455-466.
A classification of the cofinal structures of precompacta.Aviv Eshed, M. Vicenta Ferrer, Salvador Hernández, Piotr Szewczak & Boaz Tsaban - 2020 - Annals of Pure and Applied Logic 171 (8):102810.
Analytics
Added to PP
2023-08-30
Downloads
5 (#1,562,182)
6 months
4 (#862,832)
2023-08-30
Downloads
5 (#1,562,182)
6 months
4 (#862,832)
Historical graph of downloads
References found in this work
Model theoretic forcing in analysis.Itaï Ben Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Continuous first order logic for unbounded metric structures.Itaï Ben Yaacov - 2008 - Journal of Mathematical Logic 8 (2):197-223.
Grey subsets of polish spaces.Itaï Ben Yaacov & Julien Melleray - 2015 - Journal of Symbolic Logic 80 (4):1379-1397.
Model theoretic properties of metric valued fields.Itaï Ben Yaacov - 2014 - Journal of Symbolic Logic 79 (3):655-675.
Model theoretic forcing in analysis.Itaï Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-x7cz5 uwo