02496nam 2200565 450 991048029330332120170918214934.00-8218-7951-00-8218-5696-0(CKB)3240000000069887(EBL)3113300(SSID)ssj0000850368(PQKBManifestationID)11431179(PQKBTitleCode)TC0000850368(PQKBWorkID)10833695(PQKB)10861296(MiAaPQ)EBC3113300(WaSeSS)Ind00039433(PPN)197106889(EXLCZ)99324000000006988720040527h20042004 uy| 0engur|n|---|||||txtccrNonstandard models of arithmetic and set theory AMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland /Ali Enayat, Roman Kossak, editorsProvidence, Rhode Island :American Mathematical Society,[2004]©20041 online resource (184 p.)Contemporary mathematics,0271-4132 ;361Description based upon print version of record.0-8218-3535-1 Includes bibliographical references.""Contents""; ""Preface""; ""Non-Standard Models in a Broader Perspective""; ""Coding in IÎ?0""; ""Automorphisms, Mahlo Cardinals, and NFU""; ""AC Fails in the Natural Analogues of V and L that Model the Stratified Fragment of ZF""; ""Introduction""; ""1. Definitions""; ""2. HS: the hereditarily symmetric sets""; ""3. V = S: an axiom for stratified constructibility""; ""4. Further developments""; ""References""; ""Working with Nonstandard Models""; ""Internally Iterated Ultrapowers""; ""On Some Questions of Hrbacek and Di Nasso""; ""Turing Upper Bounds of Jump Ideals and Scott Sets""""Diversity in Substructures""""Automorphisms of Countable Recursively Saturated Models of Set Theory""Contemporary mathematics (American Mathematical Society) ;v. 361.Set theoryElectronic books.Set theory.511.3/22Enayat Ali1959-Kossak Roman1953-MiAaPQMiAaPQMiAaPQBOOK9910480293303321Nonstandard models of arithmetic and set theory758270UNINA02632nam0 2200505 i 450 CFI032915320251003044139.08820497123IT97-3497 19970408d1996 ||||0itac50 baitaitz01i xxxe z01nApplicazione dei sistemi informativi geografici nella valutazione delle modificazioni ambientali e territorialia cura di Giovanni Ballestra ... [et al.]MilanoF. Angeli[1996]280 p.ill.22 cm.Ricerche avanzate per innovazioni nel sistema agricolo14001MIL01663852001 Ricerche avanzate per innovazioni nel sistema agricolo1471201Consiglio nazionale delle ricerche : Progetto finalizzato Ricerche avanzate per innovazioni nel sistema agricoloBVEV016259SISTEMI INFORMATIVIFIRMILC127872ETerreno agrarioArchivi di datiFIRCFIC089953I526.80285GEOGRAFIA MATEMATICA. PROIEZIONI CARTOGRAFICHE. APPLICAZIONI DELL'ELABORATORE21Banche di datiData-baseBanche datiFile di datiBasi datiArchivi datiData baseArchivi elettronici di datiDB <Database>Archivi elettroniciBasi di datiDatabaseArchivi di datiBanche di datiArchivi di datiData-baseArchivi di datiBanche datiArchivi di datiFile di datiArchivi di datiBasi datiArchivi di datiArchivi datiArchivi di datiData baseArchivi di datiArchivi elettronici di datiArchivi di datiDB <Database>Archivi di datiArchivi elettroniciArchivi di datiBasi di datiArchivi di datiDatabaseBallestra, GiovanniTO0V156998ITIT-00000019970408IT-BN0095 IT-NA0299 NAP AGF.AVOLIO $NAP 01POZZO LIB.Vi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. CFI0329153Biblioteca Centralizzata di Ateneo1 v. 01POZZO LIB.ECON MON 3798 0101 0000118725E VMA v. 1B 2021032420210324 01 AGAPPLICAZIONE dei sistemi informativi geografici nella valutazione delle modificazioni ambientali e territoriali627191UNISANNIO02015oam 2200529zu 450 991037621850332120210807001949.0(CKB)3170000000001885(SSID)ssj0000722364(PQKBManifestationID)12322247(PQKBTitleCode)TC0000722364(PQKBWorkID)10695368(PQKB)10819809(Association for Computing Machinery)10.1145/330908(EXLCZ)99317000000000188520160829d2000 uy engurnn|008mam|atxtccrThe proceedings of the thirty-first SIGCSE Technical Symposium on Computer Science Education : SIGCSE 2000, Austin, Texas, March 8-12, 2000[Place of publication not identified]Association of Computing Machinery2000SIGCSE bulletin The proceedings of the thirty-first SIGCSE Technical Symposium on Computer Science Education Bibliographic Level Mode of Issuance: Monograph1-58113-213-1 ACM ConferencesSIGCSE '00ComputersStudy and teachingCongressesEngineering & Applied SciencesHILCCComputer ScienceHILCCComputersStudy and teachingEngineering & Applied SciencesComputer Science004/.071Cassel Boots867828Cassel BootsHaller SusanDale NellWalker Henry M.Association for Computing Machinery Special Interest Group on Computer Science Education,ACM SIGCSE Technical Symposium on Computer Science EducationPQKBBOOK9910376218503321The proceedings of the thirty-first SIGCSE Technical Symposium on Computer Science Education : SIGCSE 2000, Austin, Texas, March 8-12, 20001937245UNINA