ON SETS FOR-ALL-DEFINABLE FROM PFAFFIAN FUNCTIONS

被引：1

作者：

BIANCONI, R

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1992年 / 57卷 / 02期

关键词：

D O I：

10.2307/2275301

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We prove the existence of a bound to the number of components of an for-all-definable set in the reals, using Pfaffian functions, and give some applications.

引用

页码：688 / 697

页数：10

共 50 条

[31] Linear extension operators for continuous functions on definable sets in the p-adic context
Thamrongthanyalak, Athipat
MATHEMATICAL LOGIC QUARTERLY, 2017, 63 (1-2) : 104 - 108
[32] Pfaffian and Determinantal Tau Functions
van de Leur, Johan W.
Orlov, Alexander Yu.
LETTERS IN MATHEMATICAL PHYSICS, 2015, 105 (11) : 1499 - 1531
[33] Pfaffian and Determinantal Tau Functions
Johan W. van de Leur
Alexander Yu. Orlov
Letters in Mathematical Physics, 2015, 105 : 1499 - 1531
[34] REGULARITY PROPERTIES OF DEFINABLE SETS OF REALS
STERN, J
ANNALS OF PURE AND APPLIED LOGIC, 1985, 29 (03) : 289 - 324
[35] Definable encodings in the computably enumerable sets
Cholak, PA
Harrington, LA
BULLETIN OF SYMBOLIC LOGIC, 2000, 6 (02) : 185 - 196
[36] ON LARGE EXTERNALLY DEFINABLE SETS IN NIP
Bays, Martin
Ben-Neria, Omer
Kaplan, Itay
Simon, Pierre
JOURNAL OF THE INSTITUTE OF MATHEMATICS OF JUSSIEU, 2023,
[37] Definable sets in generic complex tori
Pillay, A
ANNALS OF PURE AND APPLIED LOGIC, 1996, 77 (01) : 75 - 80
[38] Zermelo: definiteness and the universe of definable sets
Ebbinghaus, HD
HISTORY AND PHILOSOPHY OF LOGIC, 2003, 24 (03) : 197 - 219
[39] MU-DEFINABLE SETS OF INTEGERS
LUBARSKY, RS
FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 343 - 352
[40] Pseudo definably connected definable sets
Eivazloo, Jafar S.
Tari, Somayyeh
MATHEMATICAL LOGIC QUARTERLY, 2016, 62 (03) : 241 - 248

← 1 2 3 4 5 →