Local compactness for computable polish metric spaces is (Fomula presented)-complete

André Nies; Slawomir Solecki

doi:10.1007/978-3-319-20028-6_29

Local compactness for computable polish metric spaces is (Fomula presented)-complete

André Nies, Slawomir Solecki

Mathematics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

We show that the property of being locally compact for computable Polish metric spaces is (Fomula presented) complete. We verify that local compactness for Polish metric spaces can be expressed by a sentence in Lω₁,ω.

Original language	English (US)
Title of host publication	Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings
Publisher	Springer
Pages	286-290
Number of pages	5
Volume	9136
ISBN (Print)	9783319200279
DOIs	https://doi.org/10.1007/978-3-319-20028-6_29
State	Published - 2015
Event	11th Conference on Computability in Europe, CiE 2015 - Bucharest Duration: Jun 29 2015 → Jul 3 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9136
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	11th Conference on Computability in Europe, CiE 2015
City	Bucharest
Period	6/29/15 → 7/3/15

ASJC Scopus subject areas

Computer Science(all)
Theoretical Computer Science

Online availability

10.1007/978-3-319-20028-6_29

Library availability

Discover UIUC Full Text

Cite this

Nies, A., & Solecki, S. (2015). Local compactness for computable polish metric spaces is (Fomula presented)-complete. In Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings (Vol. 9136, pp. 286-290). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9136). Springer. https://doi.org/10.1007/978-3-319-20028-6_29

Local compactness for computable polish metric spaces is (Fomula presented)-complete. / Nies, André; Solecki, Slawomir.
Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings. Vol. 9136 Springer, 2015. p. 286-290 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9136).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Nies, A & Solecki, S 2015, Local compactness for computable polish metric spaces is (Fomula presented)-complete. in Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings. vol. 9136, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9136, Springer, pp. 286-290, 11th Conference on Computability in Europe, CiE 2015, Bucharest, 6/29/15. https://doi.org/10.1007/978-3-319-20028-6_29

Nies A, Solecki S. Local compactness for computable polish metric spaces is (Fomula presented)-complete. In Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings. Vol. 9136. Springer. 2015. p. 286-290. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-20028-6_29

Nies, André ; Solecki, Slawomir. / Local compactness for computable polish metric spaces is (Fomula presented)-complete. Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings. Vol. 9136 Springer, 2015. pp. 286-290 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f7003c9cc33247b49ec4bca84745dc1b,

title = "Local compactness for computable polish metric spaces is (Fomula presented)-complete",

abstract = "We show that the property of being locally compact for computable Polish metric spaces is (Fomula presented) complete. We verify that local compactness for Polish metric spaces can be expressed by a sentence in Lω1,ω.",

author = "Andr{\'e} Nies and Slawomir Solecki",

year = "2015",

doi = "10.1007/978-3-319-20028-6_29",

language = "English (US)",

isbn = "9783319200279",

volume = "9136",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "286--290",

booktitle = "Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings",

address = "Germany",

note = "11th Conference on Computability in Europe, CiE 2015 ; Conference date: 29-06-2015 Through 03-07-2015",

}

TY - GEN

T1 - Local compactness for computable polish metric spaces is (Fomula presented)-complete

AU - Nies, André

AU - Solecki, Slawomir

PY - 2015

Y1 - 2015

N2 - We show that the property of being locally compact for computable Polish metric spaces is (Fomula presented) complete. We verify that local compactness for Polish metric spaces can be expressed by a sentence in Lω1,ω.

AB - We show that the property of being locally compact for computable Polish metric spaces is (Fomula presented) complete. We verify that local compactness for Polish metric spaces can be expressed by a sentence in Lω1,ω.

UR - http://www.scopus.com/inward/record.url?scp=84950147315&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84950147315&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-20028-6_29

DO - 10.1007/978-3-319-20028-6_29

M3 - Conference contribution

AN - SCOPUS:84950147315

SN - 9783319200279

VL - 9136

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 286

EP - 290

BT - Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings

PB - Springer

T2 - 11th Conference on Computability in Europe, CiE 2015

Y2 - 29 June 2015 through 3 July 2015

ER -

Local compactness for computable polish metric spaces is (Fomula presented)-complete

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this