Nuevos aportes, ¿nuevas discusiones?: La historiografía reciente sobre la industrialización durante el primer peronismo

La renovación historiográfica que tuvo lugar en Argentina en los últimos 30 años ha incluido a las investigaciones sobre el primer peronismo (1945-1955) en sus diferentes aspectos, de los cuales aquí nos interesa analizar el campo de las políticas económicas orientadas al sector industrial. El objetivo de este artículo es relevar las producciones recientes que abordaron las políticas industrializadoras del primer peronismo, tanto las que se centraron en la etapa como las que la analizaron dentro de un largo plazo que la incluye. El análisis de la bibliografía se realiza bajo la hipótesis de que los trabajos plasmados en los últimos años han incorporado nuevas problemáticas, fuentes y marcos teóricos que han permitido una revisión y profundización de aspectos sobre las políticas económicas, incluso hasta llegar a la impugnación de algunas interpretaciones muy difundidas. Pero asimismo dichos trabajos han retomado, de maneras explícitas e implícitas, algunos debates que marcaron a la historiografía anterior. Por último, nos interesa reflexionar sobre las orientaciones de las producciones recientes en relación a un paradigma historiográfico dominante en las últimas décadas: la normalización de los estudios sobre el primer peronismo.Fil: Vicentin, Enzo Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; Argentina. Universidad Nacional del Litoral. Facultad de Humanidades y Ciencias. Centro de Estudios Sociales Interdiciplinarios del Litoral; Argentin

Magnetic reconfiguration of MnAs/GaAs(001) observed by Magnetic Force Microscopy and Resonant Soft X-ray Scattering

We investigated the thermal evolution of the magnetic properties of MnAs epitaxial films grown on GaAs(001) during the coexistence of hexagonal/orthorhombic phases using polarized resonant (magnetic) soft X-ray scattering and magnetic force microscopy. The results of the diffuse satellite X-ray peaks were compared to those obtained by magnetic force microscopy and suggest a reorientation of ferromagnetic terraces as temperature rises. By measuring hysteresis loops at these peaks we show that this reorientation is common to all ferromagnetic terraces. The reorientation is explained by a simple model based on the shape anisotropy energy. Demagnetizing factors were calculated for different configurations suggested by the magnetic images. We noted that the magnetic moments flip from an in-plane mono-domain orientation at lower temperatures to a three-domain out-of-plane configuration at higher temperatures. The transition was observed when the ferromagnetic stripe width L is equal to 2.9 times the film thickness d. This is in good agreement with the expected theoretical value of L = 2.6d.Comment: 16 pages in PD

Effect of the Real Exchange Rate on the Argentine Dairy Supply

El presente trabajo analiza el impacto del tipo de cambio real (TCR) sobre la oferta doméstica y exportable de los productos lácteos de Argentina durante el período 2000-2012. Para ello se estiman una serie de modelos que incorporan diferentes medidas del TCR. Los resultados muestran que todas las medidas del TCR son estadísticamente significativas, con un impacto mayor en las exportaciones que en la oferta doméstica. Al desagregar el TCR bilateral, se tiene que el tipo de cambio nominal y la inflación doméstica son significativos en la determinación de los destinos de la oferta. Se destaca también la importancia de la producción primaria de leche como determinante de las exportaciones.This paper analyzes the impact of the real exchange rate (RER) on domestic supply and export of dairy products from Argentina during the period 2000-2012. For this is estimate a series of models that incorporate different measures of RER. The results show that all measures of the RER are statistically significant, with a greater impact on exports than domestic supply. Disaggregating the bilateral RER, we find that the nominal exchange rate and domestic inflation are significant in determining the fate of the deal. It also emphasizes the importance of primary milk production as a determinant of exports.Fil: Coronel, Mariano Nicolas. Universidad Nacional del Litoral. Facultad de Ciencias Económicas. Instituto de Economía Aplicada Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; ArgentinaFil: García Arancibia, Rodrigo. Universidad Nacional del Litoral. Facultad de Ciencias Económicas. Instituto de Economía Aplicada Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; ArgentinaFil: Vicentin Masaro, Jimena. Universidad Nacional del Litoral. Facultad de Ciencias Económicas. Instituto de Economía Aplicada Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; Argentin

Transmisiones de precios en el sector lácteo: el análisis del comportamiento de los precios de exportación y el recibido por los productores

La transmisión de precios en la cadena láctea es de especial interés para los productores, debido a la presencia de posibles asimetrías. El objetivo del trabajo es examinar los movimientos de precios y la posible existencia de asimetrías entre el precio al productor y el precio de los principales productos exportados. Para ello, se utilizan los modelos TAR (Threshold Cointegration) y M-TAR (Momentum Threshold Cointegration), para analizar la trasmisión de precios con datos mensuales de precios al productor y el precio promedio ponderado por su volumen de los productos exportados. Los resultados muestran que las empresas exportadoras pasan más rápido los aumentos de precios que las bajas.y que dicho traspaso no es instantáneo sino que lleva un período de dos meses aproximadamentePrice transmission in the dairy chain has a particular interest to producers, due to the presence of possible asymmetries. The objective of this study is to examine the price movements and the possible existence of asymmetries between the producer price and the price of the main export products. To do this, we use the TAR models (Threshold Cointegration) and M-TAR (Threshold Cointegration momentum) to analyze the data transmission rates with monthly producer price and the average price weighted by volume of product exported. The results show that exporting producer price respond faster to increaseFil: Rossini, Gustavo Eduardo. Universidad Nacional del Litoral. Facultad de Cs.economicas. Instituto de Economia Aplicada Litoral; ArgentinaFil: Vicentin Masaro, Jimena. Universidad Nacional del Litoral. Facultad de Cs.economicas. Instituto de Economia Aplicada Litoral; ArgentinaFil: García Arancibia, Rodrigo. Universidad Nacional del Litoral. Facultad de Cs.economicas. Instituto de Economia Aplicada Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe; ArgentinaFil: Coronel, Mariano Nicolas. Universidad Nacional del Litoral. Facultad de Cs.economicas. Instituto de Economia Aplicada Litoral; Argentin

Estudio aleatorizado, doble-ciego y controlado por placebo del efecto de un simbiótico sobre el tránsito intestinal en mujeres adultas sanas

Objetivo: Evaluar el tiempo de tránsito intestinal (TTI) antes y después de consumir yogur con Bifidobacterium BB12, Lactobacillus casei CRL 431 y fibra (simbiótico). Métodos: Estudio prospectivo, cruzado, aleatorizado y doble-ciego con 4 fases: preparación (tiempo 0); intervención (yogur o simbiótico; tiempo 1 y tiempo 3); sin intervención (tiempo 2). Evaluamos la frecuencia de defecación y el consumo de fibra. El TTI se estimo con rojo carmín. Resultados: La edad promedio fue 40,7 años (n = 102 mujeres sanas; 83 completaron el estudio). En mujeres con TTI inicial (TTII) > 48 h que consumieron el simbiótico, el TTII y el TTI final (TTIF) fue 86,9 ± 38,5 h y 51,2 ± 29,8 h (-40,9%), respectivamente, comparado con el de mujeres que consumieron el producto control (TTII, 80,8 ± 31,7 h; TTIF, 69,5 ± 31,5 h; -13,8%) (p = 0,001). En mujeres con constipación funcional que consumieron el producto control, el TTII fue 57,0 ± 30,0 h, valor que aumentó 2,8 h después de consumir el producto (TTIF, 59,8 ± 30,2 h; + 4,9%). El TTII en mujeres que consumieron el simbiótico fue 69,0 ± 49,6 h, registrándose una disminución de 27,5% 19 h después del consumo (TTIF, 50,0 ± 27,5 h; p = 0,023). La normalización de la flora láctica entérica fue significativamente mayor en mujeres que consumieron el simbiótico al inicio (p < 0,1). Conclusión: El TTI disminuyó significativamente después de consumir el simbiótico. Dicho efecto beneficioso fue más evidente en mujeres con TTII ≥ 48 h y constipación funcional.Objective: To evaluate oro-cecal intestinal transit time (ITT) before and after administration of a dairy product containing Bifidobacterium BB12, Lactobacillus casei CRL 431 and fiber in healthy women. Methods: A prospective, randomised, double-blind and cross-over study with a 4-phase design (run-in: time 0 [T0], two intervention periods: time 1 [T1] and time 3 [T3] and a wash-out: time 2, [T2]) was performed. Participants were asked about bowel movement and fiber consumption. ITT was assessed by the carmine red dye method. Results: Mean age was 40.7 years (n = 102 healthy women; 83 completed the study). In women with initial ITT (IITT) > 48 h consuming the synbiotic product, mean IITT and final ITT (FITT) was 86.9 ± 38.5 h and 51.2 ± 29.8 h (-40.9%), as compared to women consuming the control yoghurt (IITT, 80.8 ± 31.7 h; FITT, 69.5 ± 31.5 h; -13.8%) (p = 0.001). IITT in women with functional constipation consuming the control yoghurt was 57.0 ± 30.0 h; such figure increased 2.8 h after yoghurt consumption (FITT, 59.8 ± 3 0.2 h; +4.9%). Conversely, IITT in women who received the synbiotic yoghurt was 69.0 ± 49.6 h, with a -27.5% decrease 19 h later (FITT, 50.0 ± 27.5 h; p = 0.023). Enteric lactic flora stabilization was significantly higher in women who initially consumed the synbiotic product (p < 0.1). Conclusion: ITT decreased significantly after consumption of the synbiotic product. Such beneficial effect was more evident in women with IITT ≥ 48 h and with functional constipation.Fil: Malpeli, Agustina. Provincia de Buenos Aires. Ministerio de Salud. Comisión de Investigaciones Científicas. Hospital de Niños de La Plata. Instituto de Desarrollo e Investigaciones Pediátricas “Prof. Dr. Fernando E. Viteri”; ArgentinaFil: Gonzalez, Silvia Nelina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán. Centro de Referencia para Lactobacilos; Argentina. Universidad Nacional de Tucumán. Facultad de Bioquímica, Química y Farmacia; ArgentinaFil: Vicentin, Dimas. SanCor Cul. Departamento de Investigación, Innovación y Desarrollo; ArgentinaFil: Apas, Ana Lidia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán. Centro de Referencia para Lactobacilos; ArgentinaFil: González, Horacio F.. Provincia de Buenos Aires. Ministerio de Salud. Comisión de Investigaciones Científicas. Hospital de Niños de La Plata. Instituto de Desarrollo e Investigaciones Pediátricas “Prof. Dr. Fernando E. Viteri”; Argentin

Factores Determinantes de la Oferta Exportadora Láctea Santafesina

El objetivo de este trabajo es conocer el impacto de algunos determinantes de la oferta exportadora de productos lácteos de la provincia de Santa Fe en el período 2000-2012. Para ello se utiliza un sistema de ecuaciones de oferta, modelando las exportaciones y el destino doméstico simultáneamente, con una periodicidad mensual en los datos. Los resultados empíricos muestran que los precios de exportación, los precios mayoristas (ambos medidos en dólares), la disponibilidad de leche cruda y variables coyunturales y estacionales resultan estadísticamente significativos para explicar la oferta externa e interna. Se concluye que la exportación lácteaes más inelástica a sus propios precios que a los precios mayoristas internos, siendo muy elástica a la producción primaria de leche cruda.This paper aims to know the impact of some determinants of dairy export supply in Santa Fe province in the period 2000-2012. A system of supply equations is used, modelling export and domestic destinations simultaneously with a monthly frequency. The empirical results show that export and wholesale prices (both measured in US dollars), availability of raw milk and cyclical and seasonal variables are all statistically significant in explaining external and domestic supply. As a conclusion it is found that dairy exports are more inelastic to its own prices than domestic wholesale prices, and elastic with respect to primary raw milk productionFil: García Arancibia, Rodrigo. Universidad Nacional del Litoral. Facultad de Cs.económicas. Instituto de Economía Aplicada Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; ArgentinaFil: Depetris de Guiguet, Edith Yris Noemi. Universidad Nacional del Litoral. Facultad de Cs.económicas. Instituto de Economía Aplicada Litoral; ArgentinaFil: Vicentin Masaro, Jimena. Universidad Nacional del Litoral. Facultad de Cs.económicas. Instituto de Economía Aplicada Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; ArgentinaFil: Rossini, Gustavo Eduardo. Universidad Nacional del Litoral. Facultad de Cs.económicas. Instituto de Economía Aplicada Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; Argentin

Dinámica de la soja y otros cultivos en la ocupación de tierras por regiones argentinas

El avance del cultivo de soja en Argentina en las últimas décadas ha sido un fenómeno bien documentado. La ocupación de tierras con ese propósito se ha dado tanto por un proceso de sustitución de otras alternativas como de incorporación de nuevas tierras, previamente consideradas marginales. La forma en que se produjo el avance tiene relación con la situación de ocupación previa y de la disponibilidad de tierras para ocupar, además de otras variables como rentabilidad comparada y sostenibilidad de la misma en el tiempo. La situación se diferencia a nivel de regiones, particularmente tomando en cuenta Región Pampeana, NEA y NOA. El objetivo de este trabajo es conocer la dinámica de la ocupación de tierras en relación a la rentabilidad esperada por los agricultores. Para ello estimamos una elasticidad de uso de la tierra contemplando el período 1995-2013.Fil: Depetris de Guiguet, Edith Yris Noemi. Universidad Nacional del Litoral. Facultad de Ciencias Económicas. Instituto de Economía Aplicada Litoral; ArgentinaFil: Rossini, Gustavo Eduardo. Universidad Nacional del Litoral. Facultad de Ciencias Económicas. Instituto de Economía Aplicada Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; ArgentinaFil: García Arancibia, Rodrigo. Universidad Nacional del Litoral. Facultad de Ciencias Económicas. Instituto de Economía Aplicada Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; ArgentinaFil: Vicentin Masaro, Jimena. Universidad Nacional del Litoral. Facultad de Ciencias Económicas. Instituto de Economía Aplicada Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; ArgentinaFil: Coronel, Mariano Nicolas. Universidad Nacional del Litoral. Facultad de Ciencias Económicas. Instituto de Economía Aplicada Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; Argentin

Physiologic and morphologic evaluation of the masticatory system in children

Orientador: Maria Beatriz Duarte GaviãoTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Odontologia de PiracicabaResumo: Diversos são os fatores que parecem interferir na mastigação: força de mordida (que pode estar relacionada ao tamanho dos músculos), componentes e quantidade de saliva, características da oclusão, dentre outros. Esta tese está composta de cinco capítulos. O capítulo 1 "The use of ultrasound in the investigation of the muscles of mastication" revisou a literatura a respeito das imagens ultrasonográficas (US) dos músculos da mastigação e reforçou que a US é um método confiável de grande utilidade no campo do diagnóstico de alterações dos músculos da mastigação e do estudo de mudanças durante o crescimento e envelhecimento e que permanece como uma técnica promissora para o estudo dos músculos da mastigação. O capítulo 2, "Correlation between muscle thickness and bite force in children before and after oral rehabilitation - a 2 year logitudinal study", avaliou a correlação entre força de mordida (FM) e espessura muscular antes e após 6, 12 e 24 meses de reabilitação bucal (T0, T6, T12, T24, respectivamente) em 19 crianças de 6-9 anos que apresentavam perda precoce de dentes decíduos. A FM foi determinada com um transdutor pressurizado flexível. A espessura dos músculos masseter e temporal foi mensurada durante relaxamento e máxima intercuspidação com US digital com transdutor linear de 56mm/10-MHz. Houve aumento significativo da FM e espessura do masseter entre T0 e T12. A FM e a espessura do temporal relaxado e contraído em T6 e temporal contraído em T24 foram significativamente correlacionadas. Foi concluído que houve aumento da FM e espessura do masseter após a reabilitação e também relação entre FM e espessura do temporal, o que sugere que a reabilitação bucal influenciou os aspectos morfológicos e funcionais dos músculos da mastigação. Os capítulos 3 "Bite force and salivary flow rate in schoolchildren", 4 "Bite force, texture perception and chewing parameters in schoolchildren" e 5 "Salivary flow rate, protein content, chewing parameters, and taste perception in schoolchildren" tiveram como objetivos avaliar e correlacionar o fluxo salivar (FS), FM, parâmetros de mastigação, percepção de sabor e textura de alimentos e o papel da proteína na mastigação em crianças de 7-10 anos de idade distribuídas de acordo com fase da dentição, oclusão e sexo. A saliva total não estimulada (NE) e estimulada (E) por parafilm foram coletadas por 5 minutos para obtenção do FS. A proteína total foi avaliada pelo método de Lowry et al. (1951). A FM foi determinada como um transdutor pressurizado flexível. Os seguintes alimentos foram testados: cenoura, torrada com e sem margarina, banana, queijo e goma de mascar para determinar os parâmetros mastigatórios (tempo de mastigação, número e freqüência de ciclos mastigatórios), a textura (utilizando uma escala visual analógica de 0 a 100 mm) e o sabor (classificado como amargo, azedo, salgado ou doce). Meninos apresentaram FS e FM (Capítulo 3) significativamente maior que as meninas. Houve correlação significativa entre FS e FM para o grupo com oclusão normal. Não houve diferença significativa na FM, textura ou nos parâmetros da mastigação entre os grupos de oclusão. Os parâmetros da mastigação e a textura foram significativamente menores para os alimentos macios em relação aos duros. Correlação significativa foi encontrada entre FM e freqüência mastigatória no grupo com oclusão normal. Houve correlação significativa entre o FS e os parâmetros de mastigação. Meninas, crianças com maior FS e menor conteúdo de proteína tiveram maior porcentagem de acerto no sabor dos alimentos. Concluindo, houve relação entre FM e FS em crianças com oclusão normal, nas quais observou-se que a maior FM está relacionada a maior freqüência de mastigação de alimentos, o que indica facilidade de mastigação; o FS maior facilitou a mastigação e percepção do sabor de alimentos.Abstract: Several are the factors that seem to intefeer on mastication: bite force (which might be related to the size of the muscles), components and quatity of saliva, occlusion caracteristics, among other. This thesis is composed by five chapters. Chapter 1 "The use of ultrasound in the investigation of the muscles of mastication" did a literature review about the use of ultrasonography on the investigation of the muscles of mastication and reinforced that US is a reliable method of great utility in the diagnostic field of alterations of the muscles of mastication and in the study of changes during growth and aging and that it remains as a promising technique for the study of the muscles of mastication. Chapter 2, "Correlation between muscle thickness and bite force in children before and after oral rehabilitation - a 2 year logitudinal study", evaluated the correlation between BF and muscle thickness before and after 6, 12, and 24 months of oral rehabilitation (TO, T6, T12, T24, respectively) in 19 6-9 years-old children with early loss of primary teeth. BF was determined with a flexible pressurized transducer. Masseter and temporal muscle thickness was measured during relaxation and maximal intercuspation by digital US with a high- resolution real-time 56mm/10-MHz linear-array transducer. There was a significant increase in BF and masseter thickness between TO and T12. There was a significant correlation between BF and relaxed and contracted temporal thickness at T6, and contracted temporal at T24. It was concluded that there was an increase in BF and masseter thickness after rehabilitation and there was also a relation between BF and temporal thickness, which suggests that the oral rehabilitation influences the morphological and functional aspects of the muscles of mastication. Chapters 3 "Bite force and salivary flow rate in schoolchildren", 4 "Bite force, texture perception and chewing parameters in schoolchildren" and 5 "Salivary flow rate, protein content, chewing parameters, and taste perception in schoolchildren" aimed to evaluate and correlate the salivary flow rate (SFR), BF, chewing parameters, perception of taste and texture of food, and the role of protein on mastication of children 7-10 years-old distributed according to occlusion and sex. BF was determined with a flexible pressurized transducer. Unstimulated (U) and stimulated (S) whole saliva were collected for 5 minutes in order to stablish the salivary flow rate (SFR), and the total protein was evaluated by method of Lowry et al. (1951). The following foods were tested: carrot, toast with and without margarine, banana, cheese, and chewing gum to determine the chewing parameters (chewing time, number of cycles and frequency), texture (using a visual analogue scale from 0 to 100 mm) and the taste (bitter, sour, sweet or salty). Boys presented SFR and BF (Chapter 3) significantly higher than girls. There was a significant correlation between SFR and BF for the group with normal occlusion. There was no significant difference in BF, texture or chewing parameters among groups of occlusion. Chewing parameters and texture were significantly lower for soft than hard foods. Significant correlation was found for BF and chewing frequency in the normal occlusion group. There was significant correlation between SFR and chewing parameters. Girls, children with higher SFR and lower protein content got more correct taste choices. Concluding, there was a relation between SFR and BF in children with normal occlusion, on whom a greater BF was related to a higher chewing frequency, which indicates facility of chewing; a higher SFR facilitated the mastication and taste perception of foods.DoutoradoOdontopediatriaDoutor em Odontologi

Invasion-Inhibitory Antibodies Elicited by Immunization with Plasmodium vivax Apical Membrane Antigen-1 Expressed in Pichia pastoris Yeast

In a recent vaccine trial performed with African children, immunization with a recombinant protein based on Plasmodium falciparum apical membrane antigen 1 (AMA-1) conferred a significant degree of strain-specific resistance against malaria. To contribute to the efforts of generating a vaccine against Plasmodium vivax malaria, we expressed the ectodomain of P. vivax AMA-1 (PvAMA-1) as a secreted soluble protein in the methylotrophic yeast Pichia pastoris. Recognized by a high percentage of sera from individuals infected by P. vivax, this recombinant protein was found to have maintained its antigenicity. the immunogenicity of this protein was evaluated in mice using immunization protocols that included homologous and heterologous primeboost strategies with plasmid DNA and recombinant protein. We used the following formulations containing different adjuvants: aluminum salts (Alum), Bordetella pertussis monophosphoryl lipid A (MPLA), flagellin FliC from Salmonella enterica serovar Typhimurium, saponin Quil A, or incomplete Freund's adjuvant (IFA). the formulations containing the adjuvants Quil A or IFA elicited the highest IgG antibody titers. Significant antibody titers were also obtained using a formulation developed for human use containing MPLA or Alum plus MPLA. Recombinant PvAMA-1 produced under conditions of good laboratory practice provided a good yield, high purity, low endotoxin levels, and no microbial contaminants and reproduced the experimental immunizations. Most relevant for vaccine development was the fact that immunization with PvAMA-1 elicited invasioninhibitory antibodies against different Asian isolates of P. vivax. Our results show that AMA-1 expressed in P. pastoris is a promising antigen for use in future preclinical and clinical studies.Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)National Institute for Vaccine Development and TechnologyUniv São Paulo, Fac Ciencias Farmaceut, Dept Anal Clin & Toxicol, São Paulo, BrazilInst Butantan, São Paulo, BrazilShoklo Malaria Res Unit SMRU, Mae Sot, Tak Province, ThailandMahidol Oxford Univ, Res Unit, Bangkok, ThailandUniv Oxford, Churchill Hosp, Ctr Trop Med, Oxford, EnglandAgcy Sci Technol & Res, Singapore Immunol Network, Singapore, SingaporeUniversidade Federal de São Paulo, Escola Paulista Med, CTCMOL, Dept Microbiol Imunol & Parasitol, São Paulo, BrazilNatl Univ Singapore, Yong Loo Lin Sch Med, Dept Microbiol, Singapore 117595, SingaporeUniversidade Federal de São Paulo, Escola Paulista Med, CTCMOL, Dept Microbiol Imunol & Parasitol, São Paulo, BrazilFAPESP: FAPESP 2008/05613-2FAPESP: 2009/12132-4FAPESP: 2010/09893-0FAPESP: 2012/13032-5Web of Scienc

Combining Combination Properties: Minimal Models

This is a part of an ongoing research project, with the aim of finding the connections between properties related to theory combination in Satisfiability Modulo Theories. In previous work, 7 properties were analyzed: convexity, stable infiniteness, smoothness, finite witnessability, strong finite witnessability, the finite model property, and stable finiteness. The first two properties are related to Nelson-Oppen combination, the third and fourth to polite combination, the fifth to strong politeness, and the last two to shininess. However, the remaining key property of shiny theories, namely, the ability to compute the cardinalities of minimal models, was not yet analyzed. In this paper we study this property and its connection to the others