Canonical seeds and Prikry trees

Joel David Hamkins

doi:10.2307/2275538

Canonical seeds and Prikry trees

Journal of Symbolic Logic ◽

10.2307/2275538 ◽

1997 ◽

Vol 62 (2) ◽

pp. 373-396 ◽

Cited By ~ 8

Author(s):

Joel David Hamkins

Keyword(s):

Large Class ◽

Prikry Forcing ◽

Maximality Property

AbstractApplying the seed concept to Prikry tree forcing ℙμ, I investigate how well ℙμ preserves the maximality property of ordinary Prikry forcing and prove that ℙμ, Prikry sequences are maximal exactly when μ admits no non-canonical seeds via a finite iteration. In particular, I conclude that if μ is a strongly normal supercompactness measure, then ℙμ Prikry sequences are maximal, thereby proving, for a large class of measures, a conjecture of W. Hugh Woodin's.

Download Full-text

Cognitive apprenticeship, hybrid learning, and large class instruction

PsycEXTRA Dataset ◽

10.1037/e669362012-017 ◽

2006 ◽

Author(s):

John Mitterer

Keyword(s):

Large Class ◽

Hybrid Learning ◽

Cognitive Apprenticeship ◽

Class Instruction

Download Full-text

A Large Class of p-Ary Cyclic Codes and Sequence Families

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e93.a.2272 ◽

2010 ◽

Vol E93-A (11) ◽

pp. 2272-2277

Author(s):

Zhengchun ZHOU ◽

Xiaohu TANG ◽

Udaya PARAMPALLI

Keyword(s):

Large Class ◽

Cyclic Codes

Download Full-text

The Social Furniture of Virtual Worlds

Disputatio ◽

10.2478/disp-2019-0009 ◽

2019 ◽

Vol 11 (55) ◽

pp. 345-369

Author(s):

Peter Ludlow

Keyword(s):

Large Class ◽

Data Structures ◽

Virtual Worlds ◽

Causal Powers ◽

Virtual Objects ◽

David Chalmers ◽

The Social

AbstractDavid Chalmers argues that virtual objects exist in the form of data structures that have causal powers. I argue that there is a large class of virtual objects that are social objects and that do not depend upon data structures for their existence. I also argue that data structures are themselves fundamentally social objects. Thus, virtual objects are fundamentally social objects.

Download Full-text

Computing Cores for Existential Rules with the Standard Chase and ASP

Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning ◽

10.24963/kr.2020/60 ◽

2020 ◽

Author(s):

Markus Krötzsch

Keyword(s):

Large Class ◽

Data Exchange ◽

Answer Set Programming ◽

Query Answering ◽

Universal Model ◽

The Core ◽

Universal Models ◽

General Terms ◽

Special Cases ◽

The Many

To reason with existential rules (a.k.a. tuple-generating dependencies), one often computes universal models. Among the many such models of different structure and cardinality, the core is arguably the “best”. Especially for finitely satisfiable theories, where the core is the unique smallest universal model, it has advantages in query answering, non-monotonic reasoning, and data exchange. Unfortunately, computing cores is difficult and not supported by most reasoners. We therefore propose ways of computing cores using practically implemented methods from rule reasoning and answer set programming. Our focus is on cases where the standard chase algorithm produces a core. We characterise this desirable situation in general terms that apply to a large class of cores, derive concrete approaches for decidable special cases, and generalise these approaches to non-monotonic extensions of existential rules.

Download Full-text

Modifikasi Sistem Asistensi dan Responsi Kelas Kecil pada Praktikum Parasitologi Blok Digestif dan Hematoimunologi Fakultas Kedokteran Universitas Riau

Jurnal Ilmu Kedokteran ◽

10.26891/jik.v8i1.2014.46-51 ◽

2017 ◽

Vol 8 (1) ◽

pp. 46

Author(s):

Suri Dwi Lesmana ◽

Esy Maryanti

Keyword(s):

Large Class ◽

Teaching And Learning ◽

Learning Activities ◽

Small Class ◽

Laboratory Practice ◽

Large Classes ◽

Average Value ◽

Competency Based

Faculty of Medicine University of Riau has been implementing Competency Based Curriculum (KBK) with theProblem Based Learning (PBL) since 2007 with the implementation of teaching and learning activities of the systemconsists of a tutorial activities, skillab, expert lectures, independent and practical. However, there are still manyproblems in the implementation of the KBK on preclinic degree. One part of the block that is identified to be one ofthe causes of low graduation exam block is less efective coaching laboratory practice. Parasitology is one part of thetask is to provide laboratory practice in several blocks on the stage of preclinic especially digestive and hematoimunologyblock. This study aimed to compare the results of the evaluation of parasitology laboratory practice in hematoimunologyand digestive assistance and posttest in large classes with small class. Assistance and posttest in large class performedon the digestive block implementation and hematoimunologi in 2011 while assisting and posttest of small classes ona block implementation in 2012. Average value of small class digestive laboratory practice was not significantlylower than the large class but the proportion of the value of quality B and C more many in small classes. The meanvalue of the block hematoimunologi laboratory practice significantly higher on small class assistance and posttest aswell as the proportion of the value of quality A, B and C was higher in small classes than large classes.

Download Full-text