Translator Disclaimer
2000 Essential Forcing Generics
Stephanie Cawthorne, David Kueker
Notre Dame J. Formal Logic 41(1): 41-52 (2000). DOI: 10.1305/ndjfl/1027953482

Abstract

We use model theoretic forcing to study and generalize the construction of ($K, \leq$)-generic models introduced by Kueker and Laskowski. We characterize the ($K, \leq$)-generic models in terms of forcing and introduce a more general class of models, called essential forcing generics, which have many of the same properties.

Citation

Download Citation

Stephanie Cawthorne. David Kueker. "Essential Forcing Generics." Notre Dame J. Formal Logic 41 (1) 41 - 52, 2000. https://doi.org/10.1305/ndjfl/1027953482

Information

Published: 2000
First available in Project Euclid: 29 July 2002

zbMATH: 1005.03037
MathSciNet: MR1915130
Digital Object Identifier: 10.1305/ndjfl/1027953482

Subjects:
Primary: 03C25
Secondary: 03C50

Keywords: Forcing, generic model

Rights: Copyright © 2000 University of Notre Dame

JOURNAL ARTICLE
12 PAGES


SHARE
Vol.41 • No. 1 • 2000
Back to Top