EuDML | Browse

Using ♢ , we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier $Q_{1}^{2}$ .

Alcune osservazioni sul linguaggio $L(Q_{1})$

Aroldo Goretti (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

An existence theorem for 1-atomic standard models of $L_{\omega\omega}(Q_{1})$ (more weak than usual “atomic models”) and applications of $L_{\omega\omega}(Q_{1})$ to $L_{\omega\omega}$ are the results of this note.

Displaying 1 – 12 of 12

A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers

A generalization of abstract model theory

A generalized Łoś ultraproduct theorem

A Logic of Approximate Reasoning

A Logic With Higher Order Probabilities

A reflection phenomenon in descriptive set theory

A rigid Boolean algebra that admits the elimination of Q21

Alcune osservazioni sul linguaggio $L(Q_{1})$

An intuitionistic logic with probablistic operators.

Anzahlquantoren in der Prädikatenlogik

Approximation theory of uniqueness conditions by existence conditions

Axiomatización de lógicas monádicas con varios cuantificadores cardinales

Currently displaying 1 – 12 of 12