5570 results in Programming Languages and Applied Logic
On long EF-equivalence in non-isomorphic models
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 315-325
-
- Chapter
- Export citation
Inverse problem for upper asymptotic density II
- from PURE MATHEMATICS
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 147-173
-
- Chapter
- Export citation
The eightfold path to nonstandard analysis
- from FOUNDATIONS
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 3-44
-
- Chapter
- Export citation
Participants Photograph
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp ix-xii
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp vii-viii
-
- Chapter
- Export citation
Generalizing finitemodel theory
- from TUTORIAL
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 3-24
-
- Chapter
- Export citation
Logic Colloquium '02
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006
Realizability for constructive Zermelo-Fraenkel set theory
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 282-314
-
- Chapter
- Export citation
The Worm principle
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 75-95
-
- Chapter
- Export citation
Introduction
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp vii-vii
-
- Chapter
- Export citation
Computable versions of the uniform boundedness theorem
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 130-151
-
- Chapter
- Export citation
Beatty sequences and the arithmetical hierarchy
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 126-133
-
- Chapter
- Export citation
Embedding finite lattices into the computably enumerable degrees — a status survey
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 206-229
-
- Chapter
- Export citation
Some applications of regularmarkers
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 38-55
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp v-vi
-
- Chapter
- Export citation
Logic Colloquium '03
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006
Specker's theorem, cluster points, and computable quantum functions
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 134-159
-
- Chapter
- Export citation
Nonstandard measure constructions— solutions and problems
- from PURE MATHEMATICS
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 127-146
-
- Chapter
- Export citation
RESEARCH ARTICLES
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 25-26
-
- Chapter
- Export citation
Categories of theories and interpretations
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 284-341
-
- Chapter
- Export citation