✦ LIBER ✦

Skolem functions and constructive models

✍ Scribed by Yu. L. Ershov

Publisher: Springer US
Year: 1973
Tongue: English
Weight: 493 KB
Volume: 12
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf02218728

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cyclic Indiscernibles and Skolem Functio

Cyclic Indiscernibles and Skolem Functions

✍ D. A. Anapolitanos 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 634 KB

CYCLIC INDISCERNIBLES AND SKOLEM FUNCTIONS by D. A. ANAPOLITANOS in Athens (Greece)l) In this paper we introduce the notion of cyclic indiscernibles which appeared firstly in [l]. The new notion is fundamentally different from the notions of order indiscernibles and absolute indiscernibles. More sp

Intended models and the Löwenheim-Skolem

Intended models and the Löwenheim-Skolem theorem

✍ Virginia Klenk 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 895 KB

Truth Definitions, Skolem Functions and

Truth Definitions, Skolem Functions and Axiomatic Set Theory

✍ Hintikka, Jaakko 📂 Fiction 📅 0 🌐 English ⚖ 2 MB

Provably recursive functions of construc

Provably recursive functions of constructive and relatively constructive theories

✍ Morteza Moniri 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 159 KB

Constructive methods of approximation by

Constructive methods of approximation by ridge functions and radial functions

✍ Yuan Xu; W. A. Light; E. W. Cheney 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 644 KB

Associative Ordinal Functions, Well Part

Associative Ordinal Functions, Well Partial Orderings and a Problem of Skolem

✍ Diana Schmidt 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 395 KB