5570 results in Programming Languages and Applied Logic
Nonstandard analysis and cohomology
- from PURE MATHEMATICS
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 174-192
-
- Chapter
- Export citation
“One is a lonely number”: logic and communication
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 96-129
-
- Chapter
- Export citation
Rank inequalities in the theory of differentially closed fields
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 232-243
-
- Chapter
- Export citation
FOUNDATIONS
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 1-2
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp i-iv
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp vii-viii
-
- Chapter
- Export citation
Definability and reducibility in higher types over the reals
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 200-220
-
- Chapter
- Export citation
TEACHING
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 233-234
-
- Chapter
- Export citation
Foreword
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp xi-xii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp i-iv
-
- Chapter
- Export citation
Colloquium Program
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp viii-x
-
- Chapter
- Export citation
Cocovering and set forcing
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 345-376
-
- Chapter
- Export citation
A recursive nonstandard model for open induction with GCD property and cofinal primes
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 227-238
-
- Chapter
- Export citation
Predicativity problems in point-free topology
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 221-231
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp i-iv
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp vii-x
-
- Chapter
- Export citation
Discrete approximation of compact operators and approximation of their spectra
- from APPLIED MATHEMATICS
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 224-232
-
- Chapter
- Export citation
Symmetry of the universal computable function: A study of its automorphisms, homomorphisms and isomorphic embeddings
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 152-171
-
- Chapter
- Export citation
Local-global principles and approximation theorems
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 114-125
-
- Chapter
- Export citation
Nonstandard Methods and Applications in Mathematics
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006