Volume 23; Issue 1

Archive for Mathematical Logic

Volume 23; Issue 1
1

Predicate calculus of arbitrarily high finite order

Year:
1983
Language:
english
File:
PDF, 516 KB
english, 1983
2

Bases of ZF0-models

Year:
1983
Language:
english
File:
PDF, 376 KB
english, 1983
3

λ-definable functionals andβηconversion

Year:
1983
Language:
english
File:
PDF, 302 KB
english, 1983
4

A lower bound for the complexity of Craig's interpolants in sentential logic

Year:
1983
Language:
english
File:
PDF, 532 KB
english, 1983
5

Natural limitations of decision procedures for arithmetic with bounded quantifiers

Year:
1983
Language:
english
File:
PDF, 1.01 MB
english, 1983
6

A note on a proof of Shepherdson

Year:
1983
Language:
english
File:
PDF, 261 KB
english, 1983
7

Variants of Robinson's essentially undecidable theoryR

Year:
1983
Language:
english
File:
PDF, 186 KB
english, 1983
8

A well-ordering proof for Feferman's theoryT0

Year:
1983
Language:
english
File:
PDF, 543 KB
english, 1983
9

R.E. degrees of continuous functionals

Year:
1983
Language:
english
File:
PDF, 974 KB
english, 1983
10

A one axiom set theory based on higher order predicate calculus

Year:
1983
Language:
english
File:
PDF, 366 KB
english, 1983
11

Set theory in predicate calculus with equality

Year:
1983
Language:
english
File:
PDF, 198 KB
english, 1983
12

Definable Ramsey and definable Erdös ordinals

Year:
1983
Language:
english
File:
PDF, 687 KB
english, 1983
13

Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik

Year:
1983
Language:
german
File:
PDF, 580 KB
german, 1983
14

Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre

Year:
1983
Language:
german
File:
PDF, 340 KB
german, 1983
15

A note on tight stable theorie

Year:
1983
Language:
english
File:
PDF, 312 KB
english, 1983
16

On a weakening of Markov's Principle

Year:
1983
Language:
english
File:
PDF, 402 KB
english, 1983
17

A classification of the one-argument primitive recursive functions

Year:
1983
Language:
english
File:
PDF, 629 KB
english, 1983
18

A classification of an iterative hierarchy

Year:
1983
Language:
english
File:
PDF, 418 KB
english, 1983