More download options

Omitting uncountable types and extensions of Elementary logic

Theoria 44 (3):152-156 (1978) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Areas of Mathematics in Philosophy of Mathematics

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1978.tb00174.x

Links

PhilArchive

Upload a copy of this work Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Uncountable models and infinitary elementary extensions.John Gregory - 1973 - Journal of Symbolic Logic 38 (3):460-470.

Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.

Elementary extensions of countable models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (1):139-145.

Omitting types in incomplete theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.

On Extensions of Elementary Logic.Per Lindström - 1969 - Theoria 35 (1):1-11.

Martin's axiom, omitting types, and complete representations in algebraic logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.

Model completions and omitting types.Terrence Millar - 1995 - Journal of Symbolic Logic 60 (2):654-672.

Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.

There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height.Kazimierz Swirydowicz - 2008 - Journal of Symbolic Logic 73 (4):1249-1270.

Filter logics on ω.Matt Kaufmann - 1984 - Journal of Symbolic Logic 49 (1):241-256.

Omitting types of prenex formulas.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (1):61-74.

A new omitting types theorem for l(q).Matt Kaufmann - 1979 - Journal of Symbolic Logic 44 (4):507-521.

One more aspect of forcing and omitting types.Zofia Adamowicz - 1976 - Journal of Symbolic Logic 41 (1):73-80.

Analytics

Added to PP
2010-09-13

Downloads
47 (#329,840)

6 months
7 (#425,192)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Maximality of Logic Without Identity.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2024 - Journal of Symbolic Logic 89 (1):147-162.

Omitting uncountable types and the strength of [0,1]-valued logics.Xavier Caicedo & José N. Iovino - 2014 - Annals of Pure and Applied Logic 165 (6):1169-1200.

A Lindström theorem for intuitionistic first-order logic.Grigory Olkhovikov, Guillermo Badia & Reihane Zoghifard - 2023 - Annals of Pure and Applied Logic 174 (10):103346.

In memoriam: Per Lindström.Jouko Väänänen & Dag Westerståhl - 2010 - Theoria 76 (2):100-107.

Omitting types theorem in hybrid dynamic first-order logic with rigid symbols.Daniel Găină, Guillermo Badia & Tomasz Kowalski - 2023 - Annals of Pure and Applied Logic 174 (3):103212.

Add more citations

References found in this work

First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.

On Extensions of Elementary Logic.Per Lindström - 1969 - Theoria 35 (1):1-11.

A characterization of elementary logic.Per Lindström - 1973 - In Sören Halldén (ed.), Modality, Morality and Other Problems of Sense and Nonsense. Lund, Gleerup. pp. 189--191.

δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.

δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.

Add more references