A Solution for SDN Policy Conflict Consistency Problem

2021 ◽  
pp. 557-565
Author(s):  
Xin-Zhi Tian ◽  
Hai-Jie Shen ◽  
Xiao-Fan Chen ◽  
Cai-Hong Li
Keyword(s):  
Policy Conflict ◽  
Consistency Problem

Object Oriented Policy Conflict Checking Framework in Cloud Networks (OOPC)

2021 ◽  
pp. 1-1
Author(s):  
Ankur Chowdhary ◽  
Abdulhakim Sabur ◽  
Dijiang Huang ◽  
James Kirby ◽  
M. Kang
Keyword(s):  
Object Oriented ◽  
Cloud Networks ◽  
Policy Conflict

scholarly journals Formalism and Hilbert’s understanding of consistency problems

2021 ◽  
Author(s):  
Michael Detlefsen
Keyword(s):  
Philosophy Of Mathematics ◽  
Model Construction ◽  
Traditional Model ◽  
Consistency Proof ◽  
Salient Points ◽  
Consistency Problem ◽  
Late Nineteenth ◽  
Similarity And Difference ◽  
Traditional Understanding

AbstractFormalism in the philosophy of mathematics has taken a variety of forms and has been advocated for widely divergent reasons. In Sects. 1 and 2, I briefly introduce the major formalist doctrines of the late nineteenth and early twentieth centuries. These are what I call empirico-semantic formalism (advocated by Heine), game formalism (advocated by Thomae) and instrumental formalism (advocated by Hilbert). After describing these views, I note some basic points of similarity and difference between them. In the remainder of the paper, I turn my attention to Hilbert’s instrumental formalism. My primary aim there will be to develop its formalist elements more fully. These are, in the main, (i) its rejection of the axiom-centric focus of traditional model-construction approaches to consistency problems, (ii) its departure from the traditional understanding of the basic nature of proof and (iii) its distinctively descriptive or observational orientation with regard to the consistency problem for arithmetic. More specifically, I will highlight what I see as the salient points of connection between Hilbert’s formalist attitude and his finitist standard for the consistency proof for arithmetic. I will also note what I see as a significant tension between Hilbert’s observational approach to the consistency problem for arithmetic and his expressed hope that his solution of that problem would dispense with certain epistemological concerns regarding arithmetic once and for all.

The consistency problem for positive comprehension principles

1989 ◽  
Vol 54 (4) ◽  
pp. 1401-1418 ◽  
Author(s):  
M. Forti ◽  
R. Hinnion
Keyword(s):  
Set Theory ◽  
Difficult Problem ◽  
Large Cardinal ◽  
Positive Theory ◽  
Construction Principle ◽  
Short Summary ◽  
Free Construction ◽  
Unpublished Thesis ◽  
Consistency Problem ◽  
Original Construction

Since Gilmore showed that some theory with a positive comprehension scheme is consistent when the axiom of extensionality is dropped and inconsistent with it (see [1] and [2]), the problem of the consistency of various positive comprehension schemes has been investigated. We give here a short classification, which shows clearly the importance of the axiom of extensionality and of the abstraction operator in these consistency problems. The most difficult problem was to show the consistency of the comprehension scheme for positive formulas, with extensionality but without abstraction operator. In his unpublished thesis, Set theory in which the axiom of foundation fails [3], Malitz solved partially this problem but he needed to assume the existence of some unusual kind of large cardinal; as his original construction is very interesting and his thesis is unpublished, we give a short summary of it. M. Forti solved the problem completely by working in ZF with a free-construction principle (sometimes called an anti-foundation axiom), instead of ZF with the axiom of foundation, as Malitz did.This permits one to obtain the consistency of this positive theory, relative to ZF. In his general investigations about “topological set theories” (to be published), E. Weydert has independently proved the same result. The authors are grateful to the Mathematisches Forshungsinstitut Oberwolfach for giving them the opportunity of discussing these subjects and meeting E. Weydert during the meeting “New Foundations”, March 1–7, 1987.

Identity, Beliefs, and Political Conflict

2021 ◽  
Author(s):  
Giampaolo Bonomi ◽  
Nicola Gennaioli ◽  
Guido Tabellini
Keyword(s):  
Cultural Identity ◽  
Identity Politics ◽  
Political Conflict ◽  
Cultural Conflict ◽  
Cultural Group ◽  
Economic Shocks ◽  
Distinctive Features ◽  
Policy Conflict ◽  
Cultural Policies ◽  
Social Divide

Abstract We present a theory of identity politics that builds on two ideas. First, when policy conflict renders a certain social divide—economic or cultural—salient, a voter identifies with her economic or cultural group. Second, the voter slants her beliefs toward the stereotype of the group she identifies with. We obtain three implications. First, voters’ beliefs are polarized along the distinctive features of salient groups. Second, if the salience of cultural policies increases, cultural conflict rises, redistributive conflict falls, and polarization becomes more correlated across issues. Third, economic shocks hurting conservative voters may trigger a switch to cultural identity, causing these voters to demand less redistribution. We discuss U.S. survey evidence in light of these implications.

Sign in / Sign up

Export Citation Format

Share Document