On guessing whether a sequence has a certain property.

Alexander, Samuel

Displaying similar documents to “On guessing whether a sequence has a certain property.”

A complete, infinitary axiomatization of weak second-order logic

E. Lopez-Escobar (1967)

Fundamenta Mathematicae

Similarity:

Sequents in many valued logic I

G. Rousseau (1967)

Fundamenta Mathematicae

Similarity:

Relativization with respect to formulas and its use in proofs of independence

Leon Henkin (1968)

Compositio Mathematica

Similarity:

Persistent and invariant formulas for outer extensions

Solomon Feferman (1968)

Compositio Mathematica

Similarity:

The logic of negationless mathematics

P. G. J. Vredenduin (1953)

Compositio Mathematica

Similarity:

Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic

Nils Kürbis (2019)

Bulletin of the Section of Logic

Similarity:

Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INF℩ of intuitionist negative free logic extended by such a quantier, which was presented in [4],...