## Found 19 Documents (Results 1–19)

100
MathJax

### A constructive proof of the dense existence of nowhere-differentiable functions in $$C[0,1]$$. (English)Zbl 07271578

MSC:  03F60 26A27 26A21
Full Text:

Full Text:

### The typical constructible object. (English)Zbl 1476.03055

Beckmann, Arnold (ed.) et al., Pursuit of the universal. 12th conference on computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9709, 115-123 (2016).
Full Text:

### Levels of discontinuity, limit-computability, and jump operators. (English)Zbl 1344.03037

Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 79-107 (2014).
Full Text:

Full Text:

### A course in mathematical logic for mathematicians. Chapters I–VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. (English)Zbl 1180.03002

Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010).
Full Text:

### On the class of Skolem elementary functions. (Russian)Zbl 1249.03080

MSC:  03D20 03D15

Full Text:

Full Text:

### One cannot show from ZFC that there is an Ulm-type classification of the countable torsion-free Abelian groups. (English)Zbl 0780.03014

Set theory of the continuum, Pap. Math. Sci. Res. Inst. Workshop, Berkeley/CA (USA) 1989, Math. Sci. Res. Inst. Publ. 26, 293-309 (1992).
Full Text:

### Some extensions of built-upness on systems of fundamental sequences. (English)Zbl 0691.03028

MSC:  03D55 03D20
Full Text:

### Discrete mathematics. Revised edition. (English)Zbl 0682.05001

Oxford Science Publications. Oxford: Clarendon Press. xiv, 480 p. £17.50/pbk; £40.00/hbk (1989).

### On the topological size of the set of Boolean-valued partial recursive functions. (English)Zbl 0741.03022

MSC:  03D20 03D45

### On weak theories of sets and classes which are based on strict $$\Pi ^ 1_ 1$$-reflection. (English)Zbl 0553.03034

MSC:  03E99 03F99
Full Text:

### Subrecursive hierarchies via direct limits. (English)Zbl 0576.03027

Computation and proof theory, Proc. Logic Colloq., Aachen 1983, Part II, Lect. Notes Math. 1104, 117-128 (1984).
Reviewer: G.B.Marandžjan
MSC:  03D20

all top 5

all top 3