Lubarsky

Results: 14



#Item
11Set theory / Epimorphism / Homomorphism / Forcing / Ordinal number / Constructible universe / Sheaf / Zermelo–Fraenkel set theory / Surjective function / Mathematical logic / Mathematics / Morphisms

ELEMENTARY EPIMORPHISMS BETWEEN MODELS OF SET THEORY ROBERT LUBARSKY AND NORMAN LEWIS PERLMUTTER Abstract. We show that every Π1 -elementary epimorphism between models of ZF is an isomorphism. On the other hand, nonisom

Add to Reading List

Source URL: math.fau.edu

Language: English - Date: 2014-05-05 13:51:37
12Functions and mappings / Model theory / Constructive set theory / Intuitionism / Mathematical constructivism / Interpretation / Function / Constructible universe / Μ operator / Mathematics / Mathematical logic / Logic

CZF and Second Order Arithmetic Robert S. Lubarsky∗ Dept. of Mathematical Sciences Florida Atlantic University Boca Raton, FL 33431, USA [removed]

Add to Reading List

Source URL: math.fau.edu

Language: English - Date: 2006-07-10 16:24:56
13Grayer / Lubarsky / Shasa / Agenda

Microsoft Word - agenda list

Add to Reading List

Source URL: www.azbbhe.us

Language: English - Date: 2014-07-10 11:53:43
14Kimberlin / Meeting / Lubarsky / Agenda / Grayer

Microsoft Word - agenda list

Add to Reading List

Source URL: www.azbbhe.us

Language: English - Date: 2014-06-12 09:31:00
UPDATE