Effective Mathematics of the Uncountable
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Cambridge University Press

9781139028592

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Preface

Effective Mathematics of the Uncountable ◽

10.1017/cbo9781139028592.001 ◽

2013 ◽

pp. vii-viii

Download Full-text

E-recursive intuitions

Effective Mathematics of the Uncountable ◽

10.1017/cbo9781139028592.008 ◽

2013 ◽

pp. 135-149

Author(s):

Gerald E. Sacks

Download Full-text

Introduction

Effective Mathematics of the Uncountable ◽

10.1017/cbo9781139028592.002 ◽

2013 ◽

pp. 1-13

Download Full-text

Reverse mathematics, countable and uncountable: a computational approach

Effective Mathematics of the Uncountable ◽

10.1017/cbo9781139028592.009 ◽

2013 ◽

pp. 150-163 ◽

Author(s):

Richard A. Shore

Keyword(s):

Reverse Mathematics ◽

Computational Approach

Download Full-text

Borel structures: a brief survey

Effective Mathematics of the Uncountable ◽

10.1017/cbo9781139028592.007 ◽

2013 ◽

pp. 124-134 ◽

Author(s):

Antonio Montalbán ◽

André Nies

Download Full-text

Effective model theory: approach via σ-definability

Effective Mathematics of the Uncountable ◽

10.1017/cbo9781139028592.010 ◽

2013 ◽

pp. 164-197 ◽

Author(s):

Alexey Stukachev

Keyword(s):

Model Theory ◽

Effective Model ◽

Theory Approach

Download Full-text

Computable structure theory using admissible recursion theory on ω1 using admissibility

Effective Mathematics of the Uncountable ◽

10.1017/cbo9781139028592.005 ◽

2013 ◽

pp. 50-80 ◽

Author(s):

Noam Greenberg ◽

Julia F. Knight

Keyword(s):

Recursion Theory ◽

Structure Theory ◽

Computable Structure ◽

Computable Structure Theory

Download Full-text

Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals

Effective Mathematics of the Uncountable ◽

10.1017/cbo9781139028592.004 ◽

2013 ◽

pp. 33-49

Author(s):

Samuel Coskey ◽

Joel David Hamkins

Keyword(s):

Equivalence Relations ◽

Turing Machines ◽

Download Full-text

Local computability and uncountable structures

Effective Mathematics of the Uncountable ◽

10.1017/cbo9781139028592.006 ◽

2013 ◽

pp. 81-123

Author(s):

Russell Miller

Download Full-text

Some results on ℝ-computable structures

Effective Mathematics of the Uncountable ◽

10.1017/cbo9781139028592.003 ◽

2013 ◽

pp. 14-32

Author(s):

Wesley Calvert ◽

John E. Porter

Keyword(s):

Computable Structures

Download Full-text